Login / Signup
Efficient TCTL Model Checking Algorithm for Timed Actors.
Ehsan Khamespanah
Ramtin Khosravi
Marjan Sirjani
Published in:
AGERE!@SPLASH (2014)
Keyphrases
</>
model checking
computational complexity
dynamic programming
verification method
np hard
deterministic finite automaton
petri net
temporal logic