Portal:Tools

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