Tags: Programming Language.
Spec# is a programming language with specification language features that extends the capabilities of the C# programming language with Eiffel-like contracts including object invariants preconditions and postconditions. Like ESC/Java it includes a static checking tool based on a theorem prover that is able to statically verify many of these invariants.