Formal Methods for Safety Critical Systems
Wide consensus that formal methods must be used
Formal methods mandatory in Def Stan 00-55
‘‘These mathematical approaches provide us with the best available approach to the development of high-integrity systems.’’
McDermid JA, ‘Safety critical systems: a vignette’, IEE Software Eng J, 8(1), 2-3, 1993