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 |
|---|---|---|---|
| Parent folder | |||
| stpaVerifier_1.0.1.jar | 2017-02-20 | 865.1 kB | |
| org.eclipse.gef_3.10.1.201508170204.jar | 2017-02-20 | 867.6 kB | |
| org.junit_4.12.0.v201504281640.jar | 2017-02-20 | 291.0 kB | |
| org.hamcrest.core_1.3.0.v201303031735.jar | 2017-02-20 | 55.8 kB | |
| org.eclipse.ui.console_3.6.100.v20150822-1912.jar | 2017-02-20 | 191.4 kB | |
| org.eclipse.core.variables_3.2.800.v20130819-1716.jar | 2017-02-20 | 34.9 kB | |
| Totals: 6 Items | 2.3 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