Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae.

David Déharbe Anamaria Martins Moreira Christophe Ringeissen

Published in: RTA (2002)

Keyphrases

temporal logic
symbolic model checking
model checking
model checker
formal verification
modal logic
formal specification
satisfiability problem
computation tree logic
finite state
verification method
temporally extended goals
formal methods
linear temporal logic
np hard
partial observability