Login / Signup
A Logic to Specify and Verify Synchronous Transitions.
Vanderlei Moraes Rodrigues
Flávio Rech Wagner
Published in:
IWFM (1999)
Keyphrases
</>
modal logic
automated reasoning
multi valued
logical framework
classical logic
predicate logic
verification method
data sets
artificial intelligence
evolutionary algorithm
computational properties
epistemic logic
asynchronous communication