Login / Signup

Formal verification of timed systems: a survey and perspective.

Farn Wang
Published in: Proc. IEEE (2004)
Keyphrases
  • formal verification
  • model checking
  • automated verification
  • complex systems
  • expert systems
  • viewpoint
  • domain specific
  • computer systems
  • temporal logic
  • timed automata
  • data sets
  • peer to peer
  • petri net
  • model checker