-
- Downloads
Avatar Model Checker: first full impl but probably full of bugs
Showing
- modeling/testavatar.xml 572 additions, 277 deletionsmodeling/testavatar.xml
- src/avatartranslator/modelchecker/AvatarModelChecker.java 19 additions, 3 deletionssrc/avatartranslator/modelchecker/AvatarModelChecker.java
- src/avatartranslator/modelchecker/SpecificationBlock.java 1 addition, 1 deletionsrc/avatartranslator/modelchecker/SpecificationBlock.java
- src/avatartranslator/modelchecker/SpecificationState.java 21 additions, 7 deletionssrc/avatartranslator/modelchecker/SpecificationState.java
- src/ui/window/JDialogAvatarModelChecker.java 28 additions, 4 deletionssrc/ui/window/JDialogAvatarModelChecker.java
Loading
Please register or sign in to comment