Login / Signup

An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking.

Rotem Oshman
Published in: VMCAI (2009)
Keyphrases
  • bounded model checking
  • temporal logic
  • automata theoretic
  • linear temporal logic
  • model checking
  • regular path queries
  • multi agent