Experiments in theorem proving and model checking for protocol verification (1996)

by K Havelund, N Shankar
Venue:HS96] [KDG95] [Kur87] [Lam79] [LGS+ 95