Formal Verification of Delayed Consistency Protocols.

Fong Pong Michel Dubois

Published in: IPPS (1996)

Keyphrases

formal verification
model checking
cryptographic protocols
bounded model checking
model checker
symbolic model checking
automated verification
program slicing
security protocols
orders of magnitude
temporal logic
formal specification
global constraints
constraint networks