Towards a formal approach
4
contracts
-- formal specification
verification
-- as a design methodology
runtime consistency
-- invariance
slide
:
Section 3.4: Towards a formal approach
