Industrial Use of Formal Methods

  • Steven P. Miller
Conference paper
Part of the Dependable Computing and Fault-Tolerant Systems book series (DEPENDABLECOMP, volume 9)


The views expressed in this paper are those of the author and do not necessarily reflect the position of Collins Commercials Avionics or Rockwell International.


Formal Specification Formal Method Specification Language Formal Verification Specification Style 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag/Wien 1995

Authors and Affiliations

  • Steven P. Miller
    • 1
  1. 1.Rockwell InternationalCollins Commercial AvionicsCedar RapidsUSA

Personalised recommendations