@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 }