Experience applying the SPIN model checker to an industrial telecommunications system.

Barry Long Jürgen Dingel T. C. Nicholas Graham

Published in: ICSE (2008)

Keyphrases

model checker
model checking
formal verification
formal methods
description language
temporal logic
symbolic model checking
formal specification
test suite
ai planning
np hard
specification language
search algorithm
artificial intelligence
data mining
domain independent
expert systems