Formal methods

• We looked at two styles of formal specification

  • Z
  • Finite state w/model checking

• It is certainly not a silver bullet

• It can in some cases increase clarity

• It can in some cases support analysis

• It is still pretty distant from code

Previous slide

Back to first slide

View graphic version