Experiments in Theorem Proving and Model Checking for Protocol Verification. (1996)

by Klaus Havelund, Natarajan Shankar
Venue:FME’96: Industrial Benefit and Advances in Formal Methods,