PVS: Combining Specification, Proof Checking, and Model Checking.

Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas

Browse the full CAV paper archive.