2 ms·

The man behind Trump's 'unhackable' phone is on a mission to fight Tesla's FSD

• 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 ago
    Has it been formally verified?
    • 082349872349872 2y ago
      do 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?