Quantifying Fidelity for Timed Transition Systems.

Sangeeth Saagar Ponnusamy Vincent Albert Patrice Thebault

Published in: SIMULTECH (2016)

Keyphrases

transition systems
concurrent systems
petri net
model checking
temporal logic
finite state
control flow
practical reasoning
reactive systems
markov chain
formal verification
model checker