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.

Loading...

This page contains content from the copyrighted Wikipedia article "Spec Sharp"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.