Spec#

Spec# is a formal language for API contracts (influenced by JML, AsmL, and Eiffel), which extends C# with constructs for non-null types, preconditions, postconditions, and object invariants.   Find it @ http://research.microsoft.com/en-us/projects/specsharp/