Formal Software Verification Measures Up: Verified coding techniques use mathematical proofs to ensure code is error-free and hacker-resistant. Can the approach revolutionize software?
The article examines whether the use of mathematical proofs in the process of verified coding can be applied to error-free coding and computer hacker resistance in order to improve and advance the development of computer software.
| Publicado en: | Communications of the ACM Vol. 64; no. 7; pp. 13 - 16 |
|---|---|
| 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=151016549&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 151016549 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: 151016549 10.1145/3464933 ppf: 13 ppct: 3 formats: tig: atl: Formal Software Verification Measures Up: Verified coding techniques use mathematical proofs to ensure code is error-free and hacker-resistant. Can the approach revolutionize software? aug: au: Greengard, Samuel su: Software verification Mathematical proofs Computer programming Computer software development Prevention of computer hacking sug: subj: Software verification Mathematical proofs Computer programming Computer software development Prevention of computer hacking ab: The article examines whether the use of mathematical proofs in the process of verified coding can be applied to error-free coding and computer hacker resistance in order to improve and advance the development of computer software. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2021 holdings: @attributes: islocal: N |
|---|