Login / Signup
Clock Transition Systems.
Didier Lime
Olivier H. Roux
Claude Jard
Published in:
CS&P (2012)
Keyphrases
</>
transition systems
model checking
temporal logic
concurrent systems
practical reasoning
finite state
control flow
model checker
reactive systems
learning algorithm
software engineering
petri net
formal verification