Tools for the construction of correct programs : an overview
Mgj Michael Franssen · TU/e Research Portal · 1997
In this document we describe the notion of correct programs, methods for the construction of correct programs and currently available tools for the construction of correct programs. Several aspects of the tools for the construction of correct programs are compared. The results of this overview are used to formulate requirements for a programming tool. This research is the first part of the SOBV-project: 'A programming environment for the construction of correct programs'. The goal of this project is to develop an interactive programming environment for the creation of correct software in a Dijkstra/Hoare like fashion.