Login / Signup

Formal verification and testing of protocols.

Dimiter R. Avresky
Published in: Comput. Commun. (1999)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • bounded model checking
  • automated verification
  • cryptographic protocols
  • symbolic model checking
  • program slicing
  • functional verification