Executable Protocol Specification in ESL.

Edmund M. Clarke, Steven M. German, Yuan Lu, Helmut Veith, Dong Wang

Browse the full FMCAD paper archive.