Formal methods and software reliability

Holzmann, Gerard J.

Home/Archive/NASA NTRS

NASA NTRS · 20060043573

Formal methods and software reliability

Holzmann, Gerard J.

View original source ↗Export metadata ↓

Abstract

In this position statement I briefly describe 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.

Explore related subjects

software reliability

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Holzmann, Gerard J.. 2004-06-23. Formal methods and software reliability. https://ntrs.nasa.gov/citations/20060043573

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related reports

NASA NTRS2014

Empirical and Face Validity of Software Maintenance Defect Models Used at the Jet Propulsion Laboratory

At the Mission Design and Navigation Software Group at the Jet Propulsion Laboratory we make use of finite exponential based defect models to aid in maintenance planning and management for our widely used critical systems. However a number of pragmatic issues arise when applying defect models for a post-release system in continuous use. These include: how to utilize information from problem reports rather than testing to drive defect discovery and removal effort, practical model calibration, and alignment of model assumptions with our environment.

software reliability↗

NASA NTRS2004

The Effects of Fault Counting Methods on Fault Model Quality

In this paper, we describe three other fault-counting techniques and compare the models resulting from the application of two of those methods to the models obtained from the application of our proposed definition.

software reliability↗