The Practical Verification System Project
James Gordon Williams, Charles H. Applebaum · ACM SIGSOFT Software Engineering Notes · 1985
The purpose of this paper is to briefly describe the Practical Verification System (PVS), discuss its current implementation status, and sketch long term development plans. We begin with a review of ideas leading up to the PVS design.