Difference between revisions of "Portal:Tools"
Jump to navigation
Jump to search
AIDejanira (talk | contribs) |
AIDejanira (talk | contribs) |
||
| Line 29: | Line 29: | ||
* Runtime verification for Robot Operating System (ROS): [https://github.com/Formal-Systems-Laboratory/ROSRV ROSRV] | * Runtime verification for Robot Operating System (ROS): [https://github.com/Formal-Systems-Laboratory/ROSRV ROSRV] | ||
== Multi-purpose verification tools == | |||
* [https://github.com/decyphir/breach Breach] | |||
** How to write STL requirements | |||
** Falsification of STL requirements | |||
** Monitoring for STL formulae | |||
** Interfacing with Simulink models using the toolbox | |||
** Available in Github | |||
* [https://sites.google.com/a/asu.edu/s-taliro/s-taliro S-Taliro] | |||
** Verification | |||
** Conformance testing | |||
** MATLAB toolbox | |||
* Python toolbox - Luke to write about it | |||
Revision as of 12:47, 5 April 2022
Verification of Autonomous Systems -- A Selection of Tools
Specification & Modelling
- Modelling of Robotic Systems: RoboTool
- Modelling of Robotic Systems: GenoM
- Executable Agent Specifications: Concurrent MetateM
Formal Verification
- Program model-checking of agent-based Autonomous Systems: MCAPL
- Robustness analyzer for Neural Networks: ERAN
- SMT solver for Neural Networks: Marabou
- Theorem prover for Cyber-Physical Systems: KeYmaera X
Software Testing
- Conformance testing of Cyber-Physical Systems: HyConf
- Concolic testing for Deep Neural Networks: DeepConcolic
Physical Testing
- Physical integration testing for ROS 2: ROSPIT
Runtime Verification
- Runtime verification for Robot Operating System (ROS): ROSMonitoring
- Runtime verification of Robotic Systems: Varanus
- Runtime verification for Robot Operating System (ROS): ROSRV
Multi-purpose verification tools
- Breach
- How to write STL requirements
- Falsification of STL requirements
- Monitoring for STL formulae
- Interfacing with Simulink models using the toolbox
- Available in Github
- S-Taliro
- Verification
- Conformance testing
- MATLAB toolbox
- Python toolbox - Luke to write about it