70
Are there any examples of 'perfect' software? (sh.itjust.works)
submitted 8 months ago by to c/programming@programming.dev
92 comments fedilink hide all child comments
 

I'm talking about programs that can't be improved no matter what. They do exactly what they're supposed to and will never be changed.

It'll probably have to be something small, like cd or pwd, but does such a program exist?

you are viewing a single comment's thread
view the rest of the comments
[–] 39 points 8 months ago

You may be interested by this https://en.wikipedia.org/wiki/Formal_verification.

Prominent examples of verified software systems include the CompCert verified C compiler and the seL4 high-assurance operating system kernel.

  • permalink
  • fedilink
  • source
    •