Login / Signup
Mixed Transition Systems Revisited.
Ou Wei
Arie Gurfinkel
Marsha Chechik
Published in:
VMCAI (2009)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
distributed systems
petri net
formal verification
markov chain
decision problems
communication networks
model checker