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.

Bibliographic Details
Published in:	Communications of the ACM Vol. 64; no. 7; pp. 5 - 6
Main Author:	Vardi, Moshe Y.
Format:	Article
Published:	Association for Computing Machinery Jul2021
Subjects:	Parallel computer program verification Computer software Computer programming Machine learning Cost effectiveness
Online Access:	View this record in EBSCOhost

Internet

View this record in EBSCOhost