First Steps in the Verified Software Grand Challenge.
The article discusses the Verified Software Grand Challenge. The verified Software Grand Challenge is an international, long-term research program for achieving a useful body of code that has been formally verified to the highest standards of accuracy and rigor. The Grand Challenge program was initi...
| Publicado en: | Computer (00189162) Vol. 39; no. 10; pp. 57 - 59 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
IEEE
Oct2006
|
| 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=22772113&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 22772113 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00189162 PUT jtl: Computer (00189162) issn: 00189162 maglogo: N pubinfo: dt: Oct2006 vid: 39 iid: 10 pid: 13605 pub: IEEE artinfo: ui: 22772113 ppf: 57 ppct: 2 formats: tig: atl: First Steps in the Verified Software Grand Challenge. aug: au: Woocock, Jim affil: University of York su: Computer software Computer training Computer science Computer software industry Computer software development Software architecture Software engineering Computer network protocols Hoare, Tony sug: subj: Computer software Computer training Computer science Computer software industry Computer software development Software architecture Software engineering Computer network protocols Hoare, Tony ab: The article discusses the Verified Software Grand Challenge. The verified Software Grand Challenge is an international, long-term research program for achieving a useful body of code that has been formally verified to the highest standards of accuracy and rigor. The Grand Challenge program was initiated by Tony Hoare and called on the computer science community to develop an automated, integrated toolset that developers can use to establish the correctness of software. The objectives of the program include the establishment of theory of program construction and analysis, the construction of a comprehensive and integrated suite of tools that support verification activities, such as validation, specification, program analysis, program refinement and runtime checking. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2006 holdings: @attributes: islocal: N |
|---|