Imagen de Portada
Código QR

Program Verification: Vision and Reality.

The author discusses the concept of verification in computing and computer programs, particularly concerning the costs and benefits of autonomous systems paired with machine learning. He references the work of computer scientists Tony Hoare and Amir Pnueli.

Publicado en:Communications of the ACM Vol. 64; no. 7; pp. 5 - 6
Autor principal: Vardi, Moshe Y.
Formato: Artículo
Publicado: Association for Computing Machinery Jul2021
Materias:
Parallel computer program verification
Computer software
Computer programming
Machine learning
Cost effectiveness
Acceso en línea:Ver este registro en EBSCOhost
Sumario:The author discusses the concept of verification in computing and computer programs, particularly concerning the costs and benefits of autonomous systems paired with machine learning. He references the work of computer scientists Tony Hoare and Amir Pnueli.