The Spec# programming system is a new attempt at a more cost effective way to develop and maintain high-quality software. This paper describes the goals and architecture of the Spec# programming system, consisting of the object-oriented Spec# programming language, the Spec# compiler, and the Boogie static program verifier. The language includes constructs for writing specifications that capture programmer intentions about how methods and data are to be used, the compiler emits run-time checks to enforce these specifications, and the verifier can check the consistency between a program and its specifications. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Barnett, M., Leino, K. R. M., & Schulte, W. (2005). The spec# programming system: An overview. In Lecture Notes in Computer Science (Vol. 3362, pp. 49–69). Springer Verlag. https://doi.org/10.1007/978-3-540-30569-9_3
Mendeley helps you to discover research relevant for your work.