- Full text PDF available (0)
In this paper we present a new and practical approach to program verification based on the transformational program development method. We believe this system, which we call the Practical Verification System, is both user-friendly and mathematically powerful. A user of this system would present the system with an initial abstract specification, written in… (More)
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.