Safety Critical Systems 4 Formal Methods / Modelling T 79.5303 Formal Methods Formal methods have been used for safety and security-critical purposes during last decades…