SpecSharp

In this episode of The Verification Corner, Rustan Leino gives a demonstration of specifications in action. He builds a program that chunks strings into pieces, i.e. a chunker, in Spec#. During the demo, he shows the verifier, the developer, and the specifications fit together in the development…

This week on C9, Brian and Habib "Runtime" Heydarian review the week's top developer stories including: Windows 7 API Code Pack for .NET Framework hits v1.0 Yahoo! API’s starting to shut down Spec# and Boogie comes to Codeplex  Expression 3 Starter Kits from UX…

Mike Barnett gives a step-by-step tutorial on Code Contracts, a new way to express preconditions, postconditions and invariants in any .NET language. The contracts team have built a runtime instrumentation tool and also advanced static checkers that can understand and reason about…

The Spec# programming system is a new attempt at a more cost effective way to develop and maintain high-quality software.  Spec# is pronounced "Spec sharp" and can be written (and searched for) as the "specsharp" or "Spec# programming system".  The Spec#…