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

by J Rushby S Owre, N Shankar, M Srivas
Venue:In CAV'96, volume 1102 of LNCS