HAROS: The High-Assurance ROS Framework A framework for quality assurance of ROS software, mostly based on static analysis.
