DocumentCode :
3461137
Title :
Formal methods and software reliability
Author :
Holzmann, Gerard J.
Author_Institution :
JPL Lab. for Reliable Software, California Inst. of Technol., Pasadena, CA, USA
fYear :
2004
fDate :
23-25 June 2004
Firstpage :
145
Lastpage :
146
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;
fLanguage :
English
Publisher :
ieee
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
Type :
conf
DOI :
10.1109/MEMCOD.2004.1459838
Filename :
1459838
Link To Document :
بازگشت