If a piece of software is in safety-critical applications these days, it is often required to have a proof of correctness.
Like Linux? ;)
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.
Like Linux? ;)
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.