Abstract is missing.
- Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methodsSteven P. Miller, Mandayam K. Srivas. 2-16 [doi]
- The architectural specification of an avionic subsystemL. M. Barroca, John S. Fitzgerald, L. Spencer. 17-29 [doi]
- Experiences in applying formal methods to the analysis of software and system requirementsDavid Hamilton, Richard Covington, John Kelly, Carron Kirkwood, Muffy Thomas, Alan R. Flora-Holmquist, Mark G. Staskauskas, Steven P. Miller, Mandayam K. Srivas, George Cleland, Donald MacKenzie. 30-43 [doi]
- Inhibiting factors, market structure and the industrial uptake of formal methodsGeorge Cleland, Donald MacKenzie. 46-60 [doi]
- A C++ library for implementing specificationsC. Minkowitz, D. Rann, J. H. Turner. 61-75 [doi]
- Adding formal specifications to a proven V&V process for system-critical flight softwareJon Hagar, James M. Bieman. 76-85 [doi]
- Automatic verification of industrial designsVicky Hartonas-Garmhausen, T. Kurfess, Edmund M. Clarke, David E. Long. 88-96 [doi]
- Timing analysis of industrial real-time systemsSérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea. 97-107 [doi]
- Automated modular specification and verification of real-time reactive systemsJonathan S. Ostroff. 108-121 [doi]
- Formal validation of virtual finite state machinesAlan R. Flora-Holmquist, Mark G. Staskauskas. 122-129 [doi]
- A formal approach to reactive systems software: a telecommunications application in ESTERELLalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen. 132-145 [doi]
- A calculus of hazard for railway signallingMichael Ingleby, David J. Mee. 146-158 [doi]
- Experiences with specification and verification in LOTOS: a report on two case studiesCarron Kirkwood, Muffy Thomas. 159-171 [doi]