Towards a formal approach

4

  • contracts -- formal specification
  • verification -- as a design methodology
  • runtime consistency -- invariance

slide: Section 4.4: Towards a formal approach