Cover Image
QR Code

Program Correctness through Self-Certification.

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 pro...

Full description

Published in:Communications of the ACM Vol. 68; no. 2; pp. 74 - 85
Main Authors: Namjoshi, Kedar S., Zuck, Lenore D.
Format: Article
Published: Association for Computing Machinery Feb2025
Subjects:
Computer programming
Computer software testing
Software verification
Computers
Computer systems
Scalability
Systems design
Computer software
Online Access:View this record in EBSCOhost

Internet

View this record in EBSCOhost