Program Correctness through Self-Certification.
The article discusses program correctness through self-certification as an alternative to verification or testing. The authors note there are two main verification techniques, deductive proofs and model checking. They explore how self-certification establishes the correctness of every individual pro...
| Publicado en: | Communications of the ACM Vol. 68; no. 2; pp. 74 - 85 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Feb2025
|
| 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=182365558&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 182365558 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Feb2025 vid: 68 iid: 2 pid: 68 pub: Association for Computing Machinery artinfo: ui: 182365558 10.1145/3689624 ppf: 74 ppct: 11 formats: tig: atl: Program Correctness through Self-Certification. aug: au: Namjoshi, Kedar S. Zuck, Lenore D. affil: Nokia Bell Labs, Murray Hill, New Jersey, United States University of Illinois Chicago, Chicago, Illinois, United States su: Computer programming Computer software testing Software verification Computers Computer systems Scalability Systems design Computer software sug: subj: Computer programming Computer software testing Software verification Computers Computer systems Scalability Systems design Computer software ab: The article discusses program correctness through self-certification as an alternative to verification or testing. The authors note there are two main verification techniques, deductive proofs and model checking. They explore how self-certification establishes the correctness of every individual program execution by generating and checking certificates. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2025 holdings: @attributes: islocal: N |
|---|