Experience with Formal Verification of SDL Protocols.

Marius Minea Cornel Izbasa Calin Jebelean

Published in: Int. J. Comput. (2003)

Keyphrases

formal verification
model checking
cryptographic protocols
model checker
bounded model checking
automated verification
program slicing
artificial intelligence
symbolic model checking
dynamic programming
user experience
temporal logic
wireless sensor networks
orders of magnitude
communication protocol