Technically, the property of correctness for a program is that, if it yields a result, the result satisfies the specification.Proving that it yields a result means proving a separate “liveness”…

Posters: davidad. davidad

3 likes recorded by the source corpus.

Topics: Math, Software

View Post: https://x.com/davidad/status/1878391345494016238