PVS: A Prototype Verification System.

Sam Owre, John M. Rushby, Natarajan Shankar

Browse the full CADE paper archive.