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

by K Havelund, N Shankar
Venue:In Proceedings of Formal Methods Europe