3 ms·
There's an important difference between a formally verified system and redundant systems however. At least, I think so! A formally verified system is verified
by azeirah 11y ago
There's an important difference between a formally verified system and redundant systems however. At least, I think so!
A formally verified system is verified "software". Different parts of a redundant system may rely on different parts of the hardware. If some hardware fails, a redundant system can still succeed, while a formally verified system is likely to fail.
- panic 11y agoGiven some model of the way circuits work, it's possible to formally verify hardware as well. Maybe your model doesn't quite match reality and your system will still fail. But redundant systems can also experience simultaneous failures of their components. It would be interesting to know which approach is more effective.