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: | |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Jul2021
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=151016543&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 151016543 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Jul2021 vid: 64 iid: 7 pid: 68 pub: Association for Computing Machinery artinfo: ui: 151016543 10.1145/3469113 ppf: 5 ppct: 1 formats: tig: atl: Program Verification: Vision and Reality. aug: au: Vardi, Moshe Y. affil: University Professor and the Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University, Houston, TX, USA su: Parallel computer program verification Computer software Computer programming Machine learning Cost effectiveness sug: subj: Parallel computer program verification Computer software Computer programming Machine learning Cost effectiveness ab: 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. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2021 holdings: @attributes: islocal: N |
|---|