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.
Contact Us| Privacy & Cookies | Terms of Use | Trademarks| © 2021 Microsoft