https://github.com/imandra-ai/imandra-ros

Imandra ROS
https://github.com/imandra-ai/imandra-ros

formal-verification imandra ocaml robotics ros

Last synced: 2 months ago
JSON representation

Imandra ROS

• Host: GitHub
• URL: https://github.com/imandra-ai/imandra-ros
• Owner: imandra-ai
• License: apache-2.0
• Created: 2018-06-19T10:13:56.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2022-01-24T15:51:10.000Z (about 3 years ago)
• Last Synced: 2023-03-02T13:02:21.712Z (almost 2 years ago)
• Topics: formal-verification, imandra, ocaml, robotics, ros
• Language: OCaml
• Size: 12.9 MB
• Stars: 15
• Watchers: 12
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project