Login / Signup

Adding Dense-Timed Stack to Integer Reset Timed Automata.

Devendra BhaveShibashis Guha
Published in: RP (2017)
Keyphrases
  • timed automata
  • model checking
  • reachability analysis
  • theorem prover
  • theorem proving
  • first order logic
  • temporal logic
  • real time systems
  • decision variables
  • integer valued
  • search engine