Sign in
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