Economics of software verification

ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

Volumn , Issue , 2001, Pages 80-85

  Holzmann, G J ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

Model checking; Software verification; Spin; Testing

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; PROGRAM DEBUGGING;

MODEL CHECKING; SOFTWARE VERIFICATION;

SOFTWARE ENGINEERING;

EID: 0034832674     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/379605.379681     Document Type: Conference Paper

References (14)

1. Quality assurance in future development environments
2. An experimental evaluation of software redundancy as a strategy for improving reliability
3. New directions in software metrics
4. A critique of software prediction models
5. Quantitative analysis of faults and failures in a complex software system
6. Towards more effective testing for high assurance systems
7. The model checker spin
8. Automating software feature verification
9. Applied software measurement
10. Is error-free software possible? Datamation
11. In-process metrics for software testing
12. Software reliability: Measurement, prediction, application
13. Protocol validation in complex systems