A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas.

Emily Yu Martina Seidl Armin Biere

Published in: FTSCS (2019)

Keyphrases

model checking
temporal logic
artificial intelligence
finite state machines
formal methods
quantified boolean formulas
decision procedures
verification method
formal verification
bounded model checking
ordered binary decision diagrams