Difference between revisions of "All JavaMOP Versions"

From FSL
Jump to: navigation, search
Line 27: Line 27:
 
<a href=http://java.com/en/download/index.jsp target=_blank>Java Runtime Environment (JRE)</a> (7 or later)<br>
 
<a href=http://java.com/en/download/index.jsp target=_blank>Java Runtime Environment (JRE)</a> (7 or later)<br>
 
<a href=http://www.eclipse.org/aspectj/downloads.php target=_blank>AspectJ Compiler (AJC) </a> (1.8.1 or later)<br>
 
<a href=http://www.eclipse.org/aspectj/downloads.php target=_blank>AspectJ Compiler (AJC) </a> (1.8.1 or later)<br>
<a href=https://www.runtimeverification.com/monitor target=_blank>Runtime Verification Monitor (RV-Monitor) </a><br>
+
<a href=https://www.runtimeverification.com/monitor target=_blank>Runtime Verification Monitor (RV-Monitor) (1.3 or later) </a><br>
 
</td>
 
</td>
 
<td width=170 align=left valign=top>
 
<td width=170 align=left valign=top>

Revision as of 21:06, 5 November 2014

Refer to the page of each version for more details. All releases are provided under the terms and conditions of the JavaMOP License.

Latest Release

JavaMOP 4.0

JavaMOP compiler, Logic Repository, Test Suite, and Documentation.

Download
javamop-4.0.zip

Prerequisites
Java Runtime Environment (JRE) (7 or later)
AspectJ Compiler (AJC) (1.8.1 or later)
Runtime Verification Monitor (RV-Monitor) (1.3 or later)

Development
Github page
Report bugs


JavaMOP 3

JavaMOP 3.0.0 Download

JavaMOP compiler, Logic Repository, Test Suite, and Documentation.

05/11/2012

javamop-3.0.0-bin-installer.jar


JavaMOP 2

JavaMOP 2.3.2 Download

JavaMOP compiler, Logic Repository, Test Suite, and Documentation.

02/10/2012

javamop-2.3.2-bin-installer.jar

JavaMOP 2.3.1 Download

JavaMOP compiler, Logic Repository, Test Suite, and Documentation.

09/06/2011

javamop-2.3.1-bin-installer.jar

JavaMOP 2.3.0 Download

JavaMOP compiler, Logic Repository, Test Suite, and Documentation.

08/05/2011

javamop-2.3.0-bin-installer.jar

JavaMOP 2.2.0 Download

JavaMOP compiler, Logic Repository, Test Suite, and Documentation.

02/18/2011

javamop2.2.0.jar

JavaMOP 2.1.2 Download

JavaMOP compiler, Logic Repository, Test Suite, and Documentation.

04/19/2010

javamop2.1.2.jar

JavaMOP 2.1.1 Download

JavaMOP compiler, Logic Repository, Test Suite, and Documentation.

01/10/2010

javamop2.1.1.jar

JavaMOP 2.0 Download

JavaMOP compiler, and Logic Repository.

2009

Not Available


JavaMOP 1

JavaMOP 1.0 Download

JavaMOP compiler, and Logic Repository.

2007

Not Available

Personal tools
Namespaces

Variants
Actions
Navigation