Installation

Running JavaMOP

If you are only interested in running JavaMOP and generating agents, just download and run the installer from the Runtime Verification website.

JavaMOP uses Maven as a build system and dependency manager, so Maven must be installed to compile JavaMOP.

With Maven installed, it is as easy as:

git clone https://github.com/runtimeverification/javamop.git
cd javamop
mvn package

See Maven Usage for more explanation.

It is desired to integrate the raw logic plugin, like the one going to be added to RV-Monitor