\input zb-basic
\input zb-ioport
\iteman{io-port 01670805}
\itemau{Bienm\"uller, Tom; Damm, Werner; Wittke, Hartmut}
\itemti{The Statemate verification environment -- making it real.}
\itemso{Emerson, E. Allen (ed.) et al., Computer aided verification. 12th international conference, CAV 2000. Chicago, IL, USA, July 15-19, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1855, 561-567 (2000).}
\itemab
Summary: The Statemate verification environment supports requirement analysis and specification development of embedded controllers as part of the Statemate product offering of 1-Logix, Inc. This paper discusses key enhancements of the prototype tool in order to enable full scale industrial usage of the tool-set. It thus reports on a successfully completed technology transfer from a prototype tool-set to a commercial offering. The discussed enhancements are substantiated with performance results all taken from real industrial applications of leading companies in automotive and avionics.
\itemrv{~}
\itemcc{}
\itemut{}
\itemli{}
\end