Formal methods pilot project
Thomas E. Hart, F. Linn, R. Morello, Gwr Royle, Peter Kearney, Peter Lindsay, Kelvin J. Ross, Owen Traynor · 2002
Reports on a collaborative project to pilot the use of formal methods in the development of safety-related software. Using the SVRC's Cogito methodology, staff from CSC Australia undertook: formal specification; validation of the specification by mathematical consistency checks; hazard analysis; and validation of the specification against the safety requirements. Part of the design was modelled formally and verified.