Spec#
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.