An International Survey Of Industrial Applications Of Formal Methods Vol 1

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 believed to be representative of industrial grade projects and span a variety of application domains. This volume, the first of a two-volume final report, includes a discussion on formal methods and a brief characterization of the formal and related methods used in the cases. It also contains a summary of the twelve cases, a description of the methodology used in the international survey of experience with formal methods, a cluster-by-cluster analysis of the data, a discussion of the key events and timing associated with each case, and an analysis of the formal methods research and development summary.