Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method.

Sami Evangelista Lars Michael Kristensen

Published in: Petri Nets (2012)

Keyphrases

model checking
temporal logic
verification method
formal specification
automated verification
dynamic programming
formal verification
artificial intelligence
finite state
pspace complete
deterministic finite automaton