Experiments in Theorem Proving and Model Checking for Protocol Verification.

Klaus Havelund, Natarajan Shankar

Browse the full FM paper archive.