Login / Signup

Communicating Timed Automata: The More Synchronous, the More Difficult to Verify.

Pavel KrcálWang Yi
Published in: CAV (2006)
Keyphrases
  • timed automata
  • model checking
  • theorem prover
  • information retrieval
  • error prone
  • theorem proving
  • databases
  • real world
  • artificial intelligence
  • relational databases
  • medical images
  • highly complex
  • reachability analysis