3 ms·

If a piece of software is in safety-critical applications these days, it is often required to have a proof of correctness.

• andai 4mo ago
  Like Linux? ;)
  • pclmulqdq 4mo ago
    I think you might be surprised that Linux is generally not involved in safety-critical systems. There is a whole separate ecosystem for those applications.
    • andai 4mo ago
      What do they use for that? BSD?
      • pclmulqdq 4mo ago
        The ones that use an OS generally use seL4 these days.
        • andai 4mo ago
          Thanks. "OS considered harmful" is a satisfying answer, too!