A Multi-encoding Approach for LTL Symbolic Satisfiability Checking.

Kristin Y. Rozier Moshe Y. Vardi

Published in: FM (2011)

Keyphrases

model checking
temporal logic
high level
search algorithm
symbolic representation
encoding scheme
linear temporal logic