@inproceedings{Bie2000,
Author = {Bienmüller, T. and Damm, W. and Wittke, H.},
Title = {The STATEMATE Verification Environment - Making it real},

Year = {2000},
Pages = {561-567},
Month = {01},
Editor = {Springer Verlag},
Publisher = {Springer Verlag},
Series = {LNCS},
Booktitle = {12th international Conference on Computer Aided Verification, CAV},
type = {inproceedings},
note = {The STATEMATE Verification Environment supports requirement analysis and  specification development of embedded controllers as part of the STATEMATE product offering of I-Logix, Inc. This paper discusses key enhancements of the prototype tool in order to },
Abstract = {The STATEMATE Verification Environment supports requirement analysis and  specification development of embedded controllers as part of the STATEMATE product offering of I-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.}
}
@COMMENT{Bibtex file generated on }