Automated Formal Verification of Protocols.

Dimiter R. Avresky Spyridon Vassilaras

Published in: ICCCN (1997)

Keyphrases

formal verification
model checking
automated verification
symbolic model checking
model checker
bounded model checking
cryptographic protocols
fully automated
semi automated
program slicing
domain independent
communication protocol