Loading...
Please wait, while we are loading the content...
Similar Documents
Verifying statemate statecharts using csp and fdr.
| Content Provider | CiteSeerX |
|---|---|
| Author | Roscoe, A. W. Wu, Z. |
| Abstract | 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. 1 |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | System Consistency Complex System Statemate Statecharts Using Csp Csp Fdr Framework Practical Sens Special Property Automated Translation |
| Content Type | Text |