Parallel search for LTL violations.

Michael D. Jones Jacob Sorber

Published in: Int. J. Softw. Tools Technol. Transf. (2005)

Keyphrases

parallel search
temporal logic
theorem proving
model checking
linear temporal logic
deterministic automata
bounded model checking
linear time temporal logic
constraint violations
databases
modal logic
neural network
search space
inference rules
finite automata