Many products for such markets as household appliances, automotive, industrial and healthcare have regulatory requirements
to be certified against functional safety (FuSa) standards. For example, IEC 61508 for electrical systems, ISO 26262 for the automotive
industry, IEC62304 for medical systems, and EN 50128 for railway applications.
Within the standards, there are multiple safety integrity levels (SIL) that specify formal methods to be used during
development for verifying that the application code, software components and toolchains are safe for the intended use.