Applying Formal Verification with Protocol Compiler.

Christian Stangier Ulrich Holtmann

Published in: DSD (2001)

Keyphrases

formal verification
coloured petri nets
model checker
model checking
bounded model checking
automated verification
temporal logic
cryptographic protocols
symbolic model checking
formal analysis
general purpose
program slicing
software engineering
test suite
formal methods