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

by S Owre, S Rajan, J M Rushby, N Shankar, M K Srivas
Venue:Computer-Aided Veri (CAV '96), number 1102 in LNCS