Formal methods (reprise)
The original use of formalism in software engineering was for proving the equivalence between a specification and an implementation
- This had a number of problems
But there has been a resurgence of interest in formal methods
- Mostly due to potential usefulness in specification
- And a few success stories