An Application of Co-inductive Types in Coq: Verification of the Alternating Bit Protocol.

Eduardo Giménez

Published in: TYPES (1995)

Keyphrases

formal methods
cryptographic protocols
model checker
machine learning
formal analysis
model checking
inductive learning
protocol specification
lightweight
communication protocols
inductive reasoning
face recognition
digital libraries
concept learning
inductive inference
formal verification