Difference between revisions of "ROSMOP"

From FSL
Jump to: navigation, search
Line 44: Line 44:
 
* Make sure the build is successful.
 
* Make sure the build is successful.
  
You can read more about how to use ROSMOP [https://github.com/cnserd/rosmop/blob/master/docs/Usage.md here] and refer to [[ROSMOP_Syntax|ROSMOP Syntax]] for a better understanding of the specification language.
+
You can read more about how to use ROSMOP [https://github.com/runtimeverification/rosmop/blob/master/docs/Usage.md here] and refer to [[ROSMOP_Syntax|ROSMOP Syntax]] for a better understanding of the specification language.
  
 
===Bug Report===
 
===Bug Report===
 
If you experience any problems with ROSMOP, please open a new issue on the [https://github.com/runtimeverification/rosmop/issues Issues Page] of the project.
 
If you experience any problems with ROSMOP, please open a new issue on the [https://github.com/runtimeverification/rosmop/issues Issues Page] of the project.

Revision as of 20:29, 21 November 2014

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)


How to Install

ROSMOP currently works integrated with ROSRV. If you have already checked out the ROSRV source code on GitHub by using the --recursive option, you do not have to check out the ROSMOP source code again.

  • Add <rosmop_HOME>/bin to your PATH.
  • Run
cd <rosmop_HOME>
ant
  • Make sure the build is successful.

You can read more about how to use ROSMOP here and refer to ROSMOP Syntax for a better understanding of the specification language.

Bug Report

If you experience any problems with ROSMOP, please open a new issue on the Issues Page of the project.

Personal tools
Namespaces

Variants
Actions
Navigation