Login / Signup
What are the Limits of Model Checking Methods for the Verification of Real Life Protocols?
Susanne Graf
Jean-Luc Richier
Carlos Rodriguez
Jacques Voiron
Published in:
Automatic Verification Methods for Finite State Systems (1989)
Keyphrases
</>
model checking
real life
temporal logic
formal verification
finite state
automated verification
model checker
concurrent systems
asynchronous circuits
verification method
formal specification
symbolic model checking
timed automata
artificial intelligence
bounded model checking
partial order reduction