Formal verification to enhance evolution of protocols.

Tim Lewis Russell J. Haines

Published in: GECCO (2009)

Keyphrases

formal verification
model checking
model checker
cryptographic protocols
symbolic model checking
bounded model checking
automated verification
temporal logic
communication protocols
genetic algorithm
social networks
multi agent systems
security protocols
functional verification