Updating how reachability and liveness are displayed in order to remove...
Updating how reachability and liveness are displayed in order to remove previous infos when making a new formal verif
Showing
- modeling/SysMLSec/at_zeuszitmo.xml 151 additions, 152 deletionsmodeling/SysMLSec/at_zeuszitmo.xml
- src/main/java/ui/MainGUI.java 15 additions, 0 deletionssrc/main/java/ui/MainGUI.java
- src/main/java/ui/TDiagramPanel.java 12 additions, 0 deletionssrc/main/java/ui/TDiagramPanel.java
- src/main/java/ui/TURTLEPanel.java 12 additions, 1 deletionsrc/main/java/ui/TURTLEPanel.java
- src/main/java/ui/window/JDialogAvatarModelChecker.java 3 additions, 1 deletionsrc/main/java/ui/window/JDialogAvatarModelChecker.java
- src/main/java/ui/window/JDialogUPPAALValidation.java 7 additions, 4 deletionssrc/main/java/ui/window/JDialogUPPAALValidation.java
Loading
Please register or sign in to comment