Login / Signup
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties.
Alessandro Cimatti
Alberto Griggio
Enrico Magnago
Marco Roveri
Stefano Tonetta
Published in:
CAV (1) (2019)
Keyphrases
</>
temporal properties
model checking
transition systems
petri net
temporal logic
concurrent systems
model checker
formal verification
markov chain
formal methods
artificial intelligence
multi agent
formal specification
finite state