Login / Signup
On-the-Fly Verification of Linear Temporal Logic.
Jean-Michel Couvreur
Published in:
World Congress on Formal Methods (1999)
Keyphrases
</>
linear temporal logic
model checking
bounded model checking
temporal logic
formal verification
model checker
linear time temporal logic
concurrent systems
finite state
transition systems
formal specification
formal methods
modal logic
search algorithm
software engineering