DocumentCode
3525121
Title
Open source software for certifying programs: Why, which and how?
Author
Jouannaud, Jean-Pierre
Author_Institution
INRIA-LIAMA, Tsinghua Univ., Beijing, China
fYear
2009
fDate
18-20 Sept. 2009
Abstract
The purpose of this talk is to stress the difficulties with writing correct software, and introduce a now mature technology used in various industrial areas which is based in part on open source certification software developed worldwide. Why is software correctness a difficult problem and open source software a wise choice for developing program verifiers, which programs can be cured thanks to this technology, and how can open source software find its place in industrial applications.
Keywords
program verification; public domain software; open source certification software; program verifier; software correctness; Application software; Biographies; Certification; Collaboration; Computer industry; Embedded system; Open source software; Speech; Stress; Writing;
fLanguage
English
Publisher
ieee
Conference_Titel
Open-source Software for Scientific Computation (OSSC), 2009 IEEE International Workshop on
Conference_Location
Guiyang
Print_ISBN
978-1-4244-4452-6
Electronic_ISBN
978-1-4244-4453-3
Type
conf
DOI
10.1109/OSSC.2009.5416844
Filename
5416844
Link To Document