Towards a formal approach

4


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