Login / Signup

Manipulating Clocks in Timed Automata Using PVS.

Qingguo XuHuaikou Miao
Published in: SNPD (2009)
Keyphrases
  • timed automata
  • model checking
  • reachability analysis
  • theorem prover
  • theorem proving
  • first order logic
  • temporal logic
  • real time systems
  • expert systems
  • web services
  • computational complexity