Formalism of Requirements for Safety-Critical Software: Where Does the Benefit Come From?

Ibrahim Habli, Andrew Rae

Safety and assurance standards often rely on the principle that requirements errors can be minimised by expressing the requirements more formally. Although numerous case studies ha…