A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf
.
Using the Spec# Language, Methodology, and Tools to Write Bug-Free Programs
[chapter]
2010
Lecture Notes in Computer Science
Spec# is a programming system for the development of correct programs. It consists of a programming language, a verification methodology, and tools. The Spec# language extends C# with contracts, which allow programmers to document their design decisions in the code. The verification methodology provides rules and guidelines for how to use the Spec# features to express and check properties of interesting implementations. Finally, the tool support consists of a compiler that emits run-time checks
doi:10.1007/978-3-642-13010-6_4
fatcat:xtwxi2iyyjevlna5loahv3oi54