Reliable Software Systems Design: Defect Prevention, Detection, and Containment

Authors:
Gerard J. Holzmann;Rajeev Joshi
Affiliations:
Laboratory for Reliable Software (LaRS) Jet Propulsion Laboratory, California Institute of Technology, Pasadena, USA CA 91109;Laboratory for Reliable Software (LaRS) Jet Propulsion Laboratory, California Institute of Technology, Pasadena, USA CA 91109
Venue:
Verified Software: Theories, Tools, Experiments
Year:
2005

Citing 3
Cited 3

An experimental evaluation of the assumption of independence in multiversion programming

IEEE Transactions on Software Engineering
Formal specification of fault-tolerance and its relation to computer security

IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Using Simplicity to Control Complexity

IEEE Software

Towards pattern-based reliability certification of services

OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part II
Reasoning about i/o in functional programs

CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Abstract Fault Tolerance: A Model-Theoretic Approach to Fault Tolerance and Fault Compensation without Error Correction

International Journal of Adaptive, Resilient and Autonomic Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the number of residual defects in software products. Reducing residual defects is of course not in itself the objective of this exercise; the true objective is to reduce the number of failuresin the use of software products. Or in other words: the objective is the development of a methodology for "reliable software systems design."