Writing and Using Program Specifications

摘要

While there are a growing number of tools that demonstrate interesting and important uses of program specifications in software development, these tools are not widely applicable to today's software. A major problem is that it is difficult or impossible to write program specifications for most components in modern applications. In this white paper we look at the reasons for this and then propose possible research directions that can address the problem.