Declaring preconditions, postconditions, and invariants, and actually checking them at runtime are two different things.
Showing posts with label formal proof. Show all posts
Showing posts with label formal proof. Show all posts
2018-03-11
Subscribe to:
Posts (Atom)