SWEN90009 Formal Methods

Formal methods enable you to specify, develop, and verify a computer-based system by applying mathematical notation

Formal methods model encompasses a set of activities that leads to writing formal natural language of requirements

Examples of critical systems that would benefit from formal methods? (no points - let's discuss about it)

Ambiguity, incompleteness, and inconsistency still cannot be discovered and corrected more easily through formal methods

Roughly speaking, formal design can be seen as a three step process (double-point - 90 seconds):

Formal methods are system design techniques that use rigorously specified mathematical models to build sw and hw

Formal methods have been proposed as a means of augmenting the security analysis and verification of systems

Formal methods model encompasses a set of activities that leads to formal mathematical specification of computer sw