forked from zhang1993/SCTranslator
-
Notifications
You must be signed in to change notification settings - Fork 0
9luchai/SCTranslator
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
Statechart translator. This utility can translate a software model described using UML statechart, class diagramm and communication diagramm into Promela language. Than translated model could be used to verify it using Spin model checker. UML model must be presented in XML document, exported to XMI2 format.
About
A translator of UML statecharts to Promela
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- XSLT 100.0%