Login / Signup

Type-Based Verification of Correspondence Assertions for Communication Protocols.

Daisuke KikuchiNaoki Kobayashi
Published in: APLAS (2007)
Keyphrases
  • communication protocols
  • protocol specification
  • communication protocol
  • knowledge base
  • point correspondences
  • neural network
  • data mining
  • model checking
  • communication networks
  • formal methods
  • verification method