A SPIN-Based Model Checker for Telecommunication Protocols.

Vivek K. Shanbhag K. Gopinath

Published in: SPIN (2001)

Keyphrases

model checker
model checking
formal verification
description language
formal methods
temporal logic
formal specification
test suite
symbolic model checking
set theory
ai planning
specification language
partial order
test cases