LTL Can Be More Succinct.

Kamal Lodaya A. V. Sreejith

Published in: ATVA (2010)

Keyphrases

model checking
temporal logic
linear temporal logic
bounded model checking
deterministic automata
linear time temporal logic
information retrieval
genetic algorithm
general purpose
databases
domain knowledge
pattern matching
finite automata