Verified program support environments

Abstract

The stated purpose of the International Workshop on Formal Methods in Software Development is to “explore key issues and promising research directions in the development and maintenance of dependable, adaptable, and efficient software.” In this position paper we contend that a promising approach toward the development of highly reliable software systems is the construction of programming environments which are both highly supportive of the software development process and formally verified.