Is this program correct?
'►' shortcut: Alt+B
about Spec# - A formal language for API contracts
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. Spec# comes with a sound programming methodology that permits specification and reasoning about object invariants even in the presence of callbacks and multi-threading.
rise4fun © 2014 Microsoft Corporation -
privacy & cookies
code of conduct