Portal:Tools

From Verification Body of Knowledge

Revision as of 15:15, 22 March 2022 by Mfisher (talk | contribs) (→‎Formal Verification)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

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

Retrieved from "https://robotistry.org/vasbok/index.php?title=Portal:Tools&oldid=21"