Login / Signup

Efficient TCTL Model Checking Algorithm for Timed Actors.

Ehsan KhamespanahRamtin KhosraviMarjan Sirjani
Published in: AGERE!@SPLASH (2014)
Keyphrases
  • model checking
  • computational complexity
  • dynamic programming
  • verification method
  • np hard
  • deterministic finite automaton
  • petri net
  • temporal logic