Also formally verified code may behave very badly when the underlying hardware f... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Gibbon1 on Feb 6, 2020 \| parent \| context \| favorite \| on: Boeing identifies new software problem on grounded... Also formally verified code may behave very badly when the underlying hardware fails.

gpm on Feb 6, 2020 [–]

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.

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact