Abstraction-Based Model Checking Using Modal Transition Systems.

Patrice Godefroid Michael Huth Radha Jagadeesan

Published in: CONCUR (2001)

Keyphrases

transition systems
model checking
bounded model checking
temporal logic
model checker
formal specification
finite state
concurrent systems
formal verification
modal logic
control flow
reactive systems
practical reasoning
software testing
formal methods
software architecture
artificial intelligence