1. Home
  2. Proceedings
  3. WIFT
  4. WIFT 1995
Default Cover Image

Industrial-Strength Formal Specification Techniques, Workshop on

Apr. 5 1995 to Apr. 8 1995

Boca Raton, Florida

ISBN: 0-8186-7005-3

Table of Contents

Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification TechniquesFreely available from IEEE.pp. iii-iii
ForewordFreely available from IEEE.pp. vii
CommitteesFreely available from IEEE.pp. viii
Session 1
Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methodsFull-text access may be available. Sign in or learn about subscription options.pp. 2
by S.P. Miller, M. Srivas
Session 1
The architectural specification of an avionic subsystemFull-text access may be available. Sign in or learn about subscription options.pp. 17
by L.M. Barroca, J.S. Fitzgerald, L. Spencer
Session 1
Experiences in applying formal methods to the analysis of software and system requirementsFull-text access may be available. Sign in or learn about subscription options.pp. 30
by D. Hamilton, R. Covington, J. Kelly, C. Kirkwood, M. Thomas, A.R. Flora-Holmquist, M.G. Staskauskas, S.P. Miller, M. Srivas, G. Cleland, D. MacKenzie
Session 2
Inhibiting factors, market structure and the industrial uptake of formal methodsFull-text access may be available. Sign in or learn about subscription options.pp. 46
by G. Cleland, D. MacKenzie
Session 2
A C++ library for implementing specificationsFull-text access may be available. Sign in or learn about subscription options.pp. 61
by C. Minkowitz, D. Rann, J.H. Turner
Session 2
Adding formal specifications to a proven V&V process for system-critical flight softwareFull-text access may be available. Sign in or learn about subscription options.pp. 76
by J. Hagar, J.M. Bieman
Session 3
Automatic verification of industrial designsFull-text access may be available. Sign in or learn about subscription options.pp. 88
by V. Hartonas-Garmhausen, T. Kurfess, E.M. Clarke, D. Long
Session 3
Timing analysis of industrial real-time systemsFull-text access may be available. Sign in or learn about subscription options.pp. 97
by S. Campos, E. Clarke, W. Marrero, M. Minea
Session 3
Automated modular specification and verification of real-time reactive systemsFull-text access may be available. Sign in or learn about subscription options.pp. 108
by J.S. Ostroff
Session 3
Formal validation of virtual finite state machinesFull-text access may be available. Sign in or learn about subscription options.pp. 122
by A.R. Flora-Holmquist, M.G. Staskauskas
Session 4
A formal approach to reactive systems software: a telecommunications application in ESTERELFull-text access may be available. Sign in or learn about subscription options.pp. 132
by L.J. Jagadeesan, C. Puchol, J.E. Von Olnhausen
Session 4
A calculus of hazard for railway signallingFull-text access may be available. Sign in or learn about subscription options.pp. 146
by M. Ingleby, D.J. Mee
Session 4
Experiences with specification and verification in LOTOS: a report on two case studiesFull-text access may be available. Sign in or learn about subscription options.pp. 159
by C. Kirkwood, M. Thomas
Session 4
Author IndexFreely available from IEEE.pp. 172
Showing 17 out of 17