Title :
Formal methods and software reliability
Author :
Holzmann, Gerard J.
Author_Institution :
JPL Lab. for Reliable Software, California Inst. of Technol., Pasadena, CA, USA
Abstract :
In this position statement, the author briefly describes how the software reliability problem has changed over the years, and the primary reasons for the recent creation of the Laboratory for Reliable Software at JPL.
Keywords :
program verification; software reliability; formal methods; software reliability; Application software; Assembly; Laboratories; Mars; Moore´s Law; Performance analysis; Program processors; Software reliability; Software systems; Space vehicles;
Conference_Titel :
Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. Proceedings. Second ACM and IEEE International Conference on
Print_ISBN :
0-7803-8509-8
DOI :
10.1109/MEMCOD.2004.1459838