ROSMOP

From FSL
Revision as of 18:26, 21 November 2014 by Cerdoga2 (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

ROSMOP is an instance of MOP for the Robot Operating System (ROS).

Download

ROSMOP compiler, Logic Repository, and examples.

Download the source code
ROSMOP on GitHub

Prerequisites
Git (1.8 or later)
Java Development Kit (JDK) (7 or later)
Ant (1.8 or later)
JavaCC (5 or later)
Runtime Verification Monitor (RV-Monitor) (1.3 or later)


Personal tools
Namespaces

Variants
Actions
Navigation