Login / Signup
SAT-Based Verification of LTL Formulas.
Wenhui Zhang
Published in:
FMICS/PDMC (2006)
Keyphrases
</>
bounded model checking
model checking
linear time temporal logic
formal verification
linear temporal logic
temporal logic
multi agent systems
planning domains
verification method
transition systems
active learning
satisfiability problem
answer set programming