Charles H. Applebaum

Learn More
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)
  • 1