The formal verification of a reintegration protocol.

Lee Pike Steven D. Johnson

Published in: EMSOFT (2005)

Keyphrases

formal verification
coloured petri nets
model checker
model checking
cryptographic protocols
symbolic model checking
bounded model checking
automated verification
temporal logic
program slicing
lightweight
formal methods
artificial intelligence
formal analysis