C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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