User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 09:53, 11 December 2023 (diff | hist) . . (+3) . . Opus2 User Manual (current)
- 09:51, 11 December 2023 (diff | hist) . . (+3) . . Opus2 User Manual
- 09:47, 11 December 2023 (diff | hist) . . (+10) . . Opus2 User Manual
- 09:39, 11 December 2023 (diff | hist) . . (+741) . . Opus2 User Manual
- 09:37, 11 December 2023 (diff | hist) . . (0) . . N File:Opus2.FrontendGenerator.MainWindow.PNG (current)
- 09:34, 11 December 2023 (diff | hist) . . (0) . . N File:Opus2.DocumentGenerator.MainWindow.PNG (current)
- 09:31, 11 December 2023 (diff | hist) . . (+3,021) . . N Opus2 User Manual (Created page with "== Installation == To install the software run the folloring commands on your TASTE machine: cd tool-src/ bash add-ons/install-opus2.sh After installation succed cl...")
- 09:30, 11 December 2023 (diff | hist) . . (0) . . N File:Opus2.TailoringToolGui.MainWindow.PNG (current)
- 09:16, 11 December 2023 (diff | hist) . . (0) . . N File:Opus2.PopulationToolGui.MainWindow.PNG (current)
- 13:56, 13 December 2022 (diff | hist) . . (+208) . . Spin Model Checker GUI manual (current)
- 13:58, 12 December 2022 (diff | hist) . . (+18) . . Spin Model Checker GUI manual
- 13:56, 12 December 2022 (diff | hist) . . (+47) . . Spin Model Checker GUI manual
- 13:54, 12 December 2022 (diff | hist) . . (+5) . . Spin Model Checker GUI manual
- 13:53, 12 December 2022 (diff | hist) . . (+339) . . Spin Model Checker GUI manual
- 13:52, 12 December 2022 (diff | hist) . . (0) . . N File:SpinModelCheckerObserverDef.png (current)
- 13:51, 12 December 2022 (diff | hist) . . (0) . . N File:SpinModelCheckerNewObserver.png (current)
- 13:40, 12 December 2022 (diff | hist) . . (+408) . . Spin Model Checker GUI manual
- 13:30, 12 December 2022 (diff | hist) . . (+777) . . Spin Model Checker GUI manual
- 20:32, 11 December 2022 (diff | hist) . . (+36) . . Main Page
- 20:31, 11 December 2022 (diff | hist) . . (+1,290) . . Spin Model Checker GUI manual
- 20:30, 11 December 2022 (diff | hist) . . (0) . . N File:SpinModelCheckerExampleErrorList.png (current)
- 20:23, 11 December 2022 (diff | hist) . . (0) . . N File:SpinModelCheckerExampleErrorReport.png (current)
- 20:19, 11 December 2022 (diff | hist) . . (-22) . . Spin Model Checker GUI manual
- 19:59, 11 December 2022 (diff | hist) . . (+1,352) . . Spin Model Checker GUI manual
- 19:57, 11 December 2022 (diff | hist) . . (0) . . N File:SpinModelCheckerTroubleshooting.png (current)
- 19:50, 11 December 2022 (diff | hist) . . (+3,315) . . Spin Model Checker GUI manual
- 19:48, 11 December 2022 (diff | hist) . . (0) . . N File:SpinModelCheckerGlobaSettings.png (current)
- 19:45, 11 December 2022 (diff | hist) . . (+2,957) . . Spin Model Checker GUI manual
- 19:41, 11 December 2022 (diff | hist) . . (0) . . N File:SpinModelCheckerSubtypeIVExample.PNG (current)
- 19:39, 11 December 2022 (diff | hist) . . (0) . . N File:SpinModelCheckerSubtypeExample.png (current)
- 19:37, 11 December 2022 (diff | hist) . . (0) . . N File:SpinModelCheckerAddingsubtype.png (current)
- 19:33, 11 December 2022 (diff | hist) . . (+2) . . Spin Model Checker GUI manual
- 19:32, 11 December 2022 (diff | hist) . . (+1,781) . . Spin Model Checker GUI manual
- 19:31, 11 December 2022 (diff | hist) . . (0) . . N File:SpinModelCheckerExampleMSC.png (current)
- 19:29, 11 December 2022 (diff | hist) . . (0) . . N File:SpinModelCheckerAddingMSC.png (current)
- 19:23, 11 December 2022 (diff | hist) . . (0) . . N File:SpinModelCheckerAddingObserver.png (current)
- 19:20, 11 December 2022 (diff | hist) . . (+1,407) . . Spin Model Checker GUI manual
- 19:20, 11 December 2022 (diff | hist) . . (0) . . N File:SpinModelCheckerEditingStopConditions.png (current)
- 19:18, 11 December 2022 (diff | hist) . . (0) . . N File:SpinModelCheckerAddinStopConditions.png (current)
- 19:09, 11 December 2022 (diff | hist) . . (0) . . N File:SpinModelCheckerConfiguration.png (current)
- 19:07, 11 December 2022 (diff | hist) . . (+1,565) . . Spin Model Checker GUI manual
- 19:07, 11 December 2022 (diff | hist) . . (0) . . N File:SpinModelCheckerResultsHTML.png (current)
- 19:06, 11 December 2022 (diff | hist) . . (0) . . N File:SpinModelCheckerToolOutput.png (current)
- 19:01, 11 December 2022 (diff | hist) . . (+543) . . Spin Model Checker GUI manual
- 19:00, 11 December 2022 (diff | hist) . . (0) . . N File:SpinModelCeckerModelCheckingWindowSpin.png (current)
- 18:55, 11 December 2022 (diff | hist) . . (0) . . N File:SpinModelCheckerSpaceCreatorWindow.png (current)
- 18:50, 11 December 2022 (diff | hist) . . (+3,622) . . Spin Model Checker GUI manual
- 18:11, 8 December 2022 (diff | hist) . . (+552) . . Spin Model Checker GUI manual
- 17:52, 8 December 2022 (diff | hist) . . (+78) . . Spin Model Checker (current)
- 17:50, 8 December 2022 (diff | hist) . . (0) . . m Spin Model Checker (Rbabski moved page Spin model checking to Spin Model Checker)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)