Industrial Use of Formal Methods
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.
KeywordsFormal 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.
© Springer-Verlag/Wien 1995