PVS: combining specification, proof checking, and model checking (1996)

by ORR96 S Owre, S Rajan, J M Rushby, N Shankar, M K Srivas
Venue:Computer-Aided Verification, CAV ’96, number 1102 in Lecture Notes in Computer Science