Portal:Tools

From Verification Body of Knowledge
Revision as of 15:11, 22 March 2022 by Mfisher (talk | contribs) (Created page with "<big>Verification of Autonomous Systems -- A Selection of Tools</big> == Specification & Modelling == * Modelling of Robotic Systems: [https://www.cs.york.ac.uk/robostar/robotool/ RoboTool] * Modelling of Robotic Systems: [https://redmine.laas.fr/projects/genom3-fiacre-template/gollum/index GenoM] * Executable Agent Specifications: [https://www.csc.liv.ac.uk/~michael/TLBook/MetateM-System/ Concurrent MetateM] == Formal Verification == * Program model-checking of age...")
(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


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 Hybrid 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=20"