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

by S Owre, S Rajan, J M Rushby, N Shankar, M Srivas
Venue:Computer Aided Veri number 1102 in LNCS