default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. WIFT 1995: Boca Raton, FL, USA
- Workshop on Industrial-Strength Formal Specification Techniques, WIFT 1995, Boca Raton, Florida, USA, April 5-8, 1995. IEEE Computer Society 1995, ISBN 0-8186-7005-3
- Steven P. Miller, Mandayam K. Srivas:
Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods. 2-16 - Leonor Maria Melo Torcato Barroca, John S. Fitzgerald, L. Spencer:
The architectural specification of an avionic subsystem. 17-29 - David 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:
Experiences in applying formal methods to the analysis of software and system requirements. 30-43 - George Cleland, Donald MacKenzie:
Inhibiting factors, market structure and the industrial uptake of formal methods. 46-60 - C. Minkowitz, D. Rann, J. H. Turner:
A C++ library for implementing specifications. 61-75 - Jon Hagar, James M. Bieman:
Adding formal specifications to a proven V&V process for system-critical flight software. 76-85 - Vicky Hartonas-Garmhausen, Thomas R. Kurfess, Edmund M. Clarke, David E. Long:
Automatic verification of industrial designs. 88-96 - Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea:
Timing analysis of industrial real-time systems. 97-107 - Jonathan S. Ostroff:
Automated modular specification and verification of real-time reactive systems. 108-121 - Alan R. Flora-Holmquist, Mark G. Staskauskas:
Formal validation of virtual finite state machines. 122-129 - Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen:
A formal approach to reactive systems software: a telecommunications application in ESTEREL. 132-145 - Michael Ingleby, David J. Mee:
A calculus of hazard for railway signalling. 146-158 - Carron Kirkwood, Muffy Thomas:
Experiences with specification and verification in LOTOS: a report on two case studies. 159-171
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
