Software Analysis and Model Checking.

Gerard J. Holzmann

Published in: CAV (2002)

Keyphrases

model checking
temporal logic
formal methods
formal verification
dynamic analysis
temporal properties
finite state
automated verification
static analysis
verification method
symbolic model checking
abstract interpretation
software systems
model checker
process algebra