An International Survey Of Industrial Applications Of Formal Methods Vol 2

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. This is the second volume of a two-volume final report which provides the details of twelve case studies believed to be representative of industrial-grade projects spanning a variety of application domains. For each case study, the report provides a case description, summarizes the information obtained (from interviews and literature), evaluates the case, and highlights research and development issues pertaining to formal methods. The cases include a customer information control system, a multinet gateway, cleanroom software, a railway signalling system, an access control system, a traffic alert and collision avoidance system, and a transputer.