Protocol Proof Checking Simplified with SMT.

Mark R. Tuttle Amit Goel

Published in: NCA (2012)

Keyphrases

formal proof
lightweight
theorem prover
theorem proving
statistical machine translation
communication protocol
cryptographic protocols
network protocols
coloured petri nets
real time
knowledge base
wireless sensor networks
formal analysis
security analysis
linear logic