3 ms·
For those interested to learn a bit more about the “unhackable” operating system. https://en.wikipedia.org/wiki/Integrity_(operating_system) https://en.wikiped
by phs318u 2y ago
For those interested to learn a bit more about the “unhackable” operating system.
https://en.wikipedia.org/wiki/Integrity_(operating_system) https://en.wikipedia.org/wiki/Integrity_(operating_system)
https://www.ghs.com/products/safety_critical/integrity_178_tump.html https://www.ghs.com/products/safety_critical/integrity_178_t...
- JumpCrisscross 2y agoHas it been formally verified?
- 082349872349872 2y agodo any of https://www.ghs.com/products/safety_critical/integrity_178_tump.html#:~:text=On%20the%20security,CDS%20system%20certification%2e https://www.ghs.com/products/safety_critical/integrity_178_t... involve formal verification?