volume_mute

Use of formal methods

publish date: 2026/05/28 22:08:32.912219 UTC

volume_mute

Formal development processes are not used for all systems.

For which type of system are formal development processes particularly suited?

Games developed for entertainment only.

Small throwaway scripts with no long-term use.

Simple brochure-style web pages.

Systems with stringent safety, reliability, or security requirements.

Systems with stringent safety, reliability, or security requirements.

Formal methods are most cost-effective when the cost of failure is very high, such as in safety-critical or security-critical systems.

Software Engineering, Ian Sommerville, 9th edition