Formal verification to enhance evolution of protocols.

Tim Lewis, Russell J. Haines

Browse the full GECCO paper archive.