Conference item
Verifying Statemate Statecharts Using CSP and FDR
- Abstract:
- We propose a framework for the verification of statecharts. We use the CSP/FDR framework to model complex systems designed in statecharts, and check for system consistency or verify special properties within the specification. We have developed an automated translation from statecharts into CSP and exploited it in both theoretical and practical senses.
Actions
Authors
- Host title:
- Proceedings of ICFEM 2006
- Publication date:
- 2006-01-01
- UUID:
-
uuid:a32ed324-0dea-4d58-b6c2-3193ee37aa43
- Local pid:
-
cs:906
- Deposit date:
-
2015-03-31
Terms of use
- Copyright date:
- 2006
If you are the owner of this record, you can report an update to it here: Report update to this record