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

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 68; no. 2; pp. 74 - 85
Autores principales:	Namjoshi, Kedar S., Zuck, Lenore D.
Formato:	Artículo
Publicado:	Association for Computing Machinery Feb2025
Materias:	Computer programming Computer software testing Software verification Computers Computer systems Scalability Systems design Computer software
Acceso en línea:	Ver este registro en EBSCOhost