PVS: Combining speci proof checking, and model checking (0)

by S Owre, S Rajan, J Rushby, N Shankar, M Srivas
Venue:In Proceedings of CAV'96, Lecture