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