Formal Verification of Netlog Protocols.

Meixian Chen Jean-François Monin

Published in: TASE (2012)

Keyphrases

formal verification
model checking
cryptographic protocols
automated verification
model checker
symbolic model checking
bounded model checking
program slicing
communication protocols
artificial intelligence
multi party
security protocols
communication protocol