• Program Correctness through Se...

Treffer: Program Correctness through Self-Certification.

Title:
Program Correctness through Self-Certification.
Authors:
Namjoshi, Kedar S.1 (AUTHOR) kedar.namjoshi@nokia-bell-labs.com, Zuck, Lenore D.2 (AUTHOR) zuck@uic.edu
Source:
Communications of the ACM. Feb2025, Vol. 68 Issue 2, p74-84. 11p.
Subject Terms:
*COMPUTER programming, *COMPUTERS, *COMPUTER systems, *SCALABILITY, *SYSTEMS design, *COMPUTER software, COMPUTER software testing, SOFTWARE verification
Database:
Business Source Premier

Weitere Informationen

The article discusses program correctness through self-certification as an alternative to verification or testing. The authors note there are two main verification techniques, deductive proofs and model checking. They explore how self-certification establishes the correctness of every individual program execution by generating and checking certificates.