If the hardware is behaving out of spec, it's not the software failing. If the h...

		gpm on Feb 6, 2020 \| parent \| context \| favorite \| on: Boeing identifies new software problem on grounded... If the hardware is behaving out of spec, it's not the software failing. If the hardware is behaving in spec (e.g. 1 out of 3 computers fails) and you properly formally verified the software to that spec, the software will not behave badly.