Download Latest Version
org.junit_4.12.0.v201504281640.jar (291.0 kB)
Get an email when there's a new version of STPA Verifier
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| updatesite | 2017-02-20 | ||
| 1.0.0 | 2017-02-20 | ||
| 1.0.1 | 2017-02-20 | ||
| updatesite.zip | 2016-10-12 | 2.0 MB | |
| HowTo.pdf | 2016-05-26 | 731.0 kB | |
| ACCSimulator.c | 2016-05-25 | 6.1 kB | |
| ACCSimulator.hazx | 2016-05-25 | 270.4 kB | |
| readme.txt | 2016-05-25 | 1.1 kB | |
| Totals: 8 Items | 3.1 MB | 0 |
STPA Verifier - Full integration of the STPA Verifier in XSTAMPP so one can work in parallel on the related STPA Project - Support for adding/removing and checking LTL/CTL Properties - If the LTL Properties are imported from ASTPA than they get a link to their related stpa safety requirement - Verification of Safety Properties expressed in LTL or CTL Syntax - Verification of Software Properties using the NuSMV Model Checker - Verification of Software Properties using the Spin Model Checker - Model Extraction support using the Modex Tool - Logging of all outputs and Events of the Model Checkers and Modex - Exporting of all data (results/counterexamples and properties) of the STPA verifier in image, Excel sheet and PDF - Visualization of the verifciation results of LTL/CTL Verification in a diagram, pie chart and table view - Representation and documentation of the counterexamples found during the model checking process - Editor Support for SMV and Promela models with syntax and error highlighting and version control - Graphical support for adding configurations of the Model Checkers