Using the Base Semantics given by fUML for Verification.

Alessandro Gerlinger Romero Klaus Schneider Maurício Gonçalves Vieira Ferreira

Published in: MODELSWARD (2014)

Keyphrases

model checking
logic programming
formal semantics
real time
databases
formal verification
asynchronous circuits
concurrent systems
intended meaning
neural network
search engine
semantic information
semantic representation
epistemic logic