Imagen de Portada
Código QR

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

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