This project is read-only.


Spec# ("speck-sharp") is an object-oriented .NET programming language with design-by-contract features for method pre- and postconditions and object invariants and also a non-null type system.
This project is sponsored by the Research in Software Engineering Group (RiSE) based in the Microsoft Research Redmond Laboratory.

Last edited Dec 3, 2010 at 3:49 PM by RMonahan, version 14