The STATEMATE Verification Environment - Making it real

BIB
Bienmüller, T. and Damm, W. and Wittke, H.
12th international Conference on Computer Aided Verification, CAV
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.
01 / 2000
inproceedings
Springer Verlag
LNCS
561-567
Springer Verlag