Login / Signup
MEC: A System for Constructing and Analysing Transition Systems.
André Arnold
Published in:
Automatic Verification Methods for Finite State Systems (1989)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
model checker
formal specification
search algorithm
distributed systems
dynamical systems
markov decision processes
formal methods