Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems.

Karsten Loer Michael D. Harrison

Published in: ASE (2002)

Keyphrases

model checking
interactive systems
temporal logic
finite state
formal specification

computation tree logic
reachability analysis
transition systems
concurrent systems
verification method

temporal properties
epistemic logic
process algebra
model checker

bounded model checking
finite state machines
automated verification
modal logic