Title :
Open source software for certifying programs: Why, which and how?
Author :
Jouannaud, Jean-Pierre
Author_Institution :
INRIA-LIAMA, Tsinghua Univ., Beijing, China
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;
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
DOI :
10.1109/OSSC.2009.5416844
