Program Verification: Vision and Reality.
In: Communications of the ACM, Jg. 64 (2021-07-01), Heft 7, S. 5-5
serialPeriodical
Zugriff:
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.
Titel: |
Program Verification: Vision and Reality.
|
---|---|
Autor/in / Beteiligte Person: | Vardi, Moshe Y. |
Zeitschrift: | Communications of the ACM, Jg. 64 (2021-07-01), Heft 7, S. 5-5 |
Veröffentlichung: | 2021 |
Medientyp: | serialPeriodical |
ISSN: | 0001-0782 (print) |
DOI: | 10.1145/3469113 |
Schlagwort: |
|
Sonstiges: |
|