An International Survey of Industrial Applications of Formal Methods: Volume 1 Purpose, Approach, Analysis, and Conclusions

An International Survey of Industrial Applications of Formal Methods: Volume 1 Purpose, Approach, Analysis, and Conclusions (1993)

Cached

Download Links

by Dan Craigen , Dan Craigen , Ora Canada , Ora Canada , Susan Gerhart , Susan Gerhart , Ted Ralston , Ronald H. Brown

Citations:

95 - 2 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	An International Survey of Industrial Applications of Formal Methods: Volume 1 Purpose, Approach, Analysis, and Conclusions	user correction - Legacy Corrections
AUTHOR NAME	Dan Craigen	user correction - Legacy Corrections
AUTHOR AFFIL	Methods	user correction - Legacy Corrections
AUTHOR NAME	Dan Craigen	user correction - Legacy Corrections
AUTHOR AFFIL	Methods	user correction - Legacy Corrections
AUTHOR NAME	Ora Canada	user correction - Legacy Corrections
AUTHOR AFFIL	Methods	user correction - Legacy Corrections
AUTHOR NAME	Ora Canada	user correction - Legacy Corrections
AUTHOR AFFIL	Methods	user correction - Legacy Corrections
AUTHOR NAME	Susan Gerhart	user correction - Legacy Corrections
AUTHOR AFFIL	Methods	user correction - Legacy Corrections
AUTHOR NAME	Susan Gerhart	user correction - Legacy Corrections
AUTHOR AFFIL	Methods	user correction - Legacy Corrections
AUTHOR NAME	Ted Ralston	user correction - Legacy Corrections
AUTHOR AFFIL	Ralston Research; Associates; U.S. DEPARTMENT OF COMMERCE; Technology Administration; National Institute of Standards; and Technology; Computer Systems Laboratory	user correction - Legacy Corrections
AUTHOR ADDR	Gaithersburg, MD 20899	user correction - Legacy Corrections
AUTHOR NAME	Ronald H. Brown	user correction - Legacy Corrections
ABSTRACT	Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected are, we believe, representative of industrial-grade projects and span a variety of application domains. The study had three main objectives: . To better inform deliberations within industry and government on standards and regulations; . To provide an authoritative record on the practical experience of formal methods to date; and . To suggest areas where future research and technology development are needed. This is the first volume of a two volume, final report on an international survey of industrial applications of formal methods. This volume describes the study, the formal methods, the cases that were studied, our approach to performing the study, and our analysis, findings and conclusion...	user correction - Legacy Corrections
YEAR	1993	user correction - Legacy Corrections
CITATIONS	37 found	ParsCit 1.0