The Statemate Verification Environment
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 561-567
- https://doi.org/10.1007/10722167_45
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Verification of Automotive Control UnitsPublished by Springer Nature ,1999
- Lsc’s: Breathing Life Into Message Sequence ChartsPublished by Springer Nature ,1999
- Towards System SafetyPublished by Springer Nature ,1999
- Tamagotchis need not die — Verification of statemate designsPublished by Springer Nature ,1998
- A visual formalism for real time requirement specificationsPublished by Springer Nature ,1997
- Hierarchical automata as model for statechartsPublished by Springer Nature ,1997
- Another Look at LTL Model CheckingFormal Methods in System Design, 1997