The Overture Tool Platform root · Overture is a community-based project developing the next generation of open-source tools to support modelling and analysis in the design of computer-based systems. Overture supports VDM: The Vienna Development Method, a set of modelling techniques with a long and successful history of industrial application and research. Overture is an integrated development environment (IDE) for developing VDM models. The Overture tools are written entirely in Java and build on top of the Eclipse platform. Overture supports the VDM-SL, VDM++, and VDM-RT language dialects.

Table Of Contents

• Latest Version
• All Versions
• View Java Class Source Code in JAR file

Latest Version

Download org.overturetool : root JAR file - Latest Versions:

• Latest Stable: 3.0.2.jar

All Versions

Download org.overturetool : root JAR file - All Versions:

Version		Vulnerabilities	Size	Updated
3.0.x	root-3.0.2.jar			Nov 10, 2020
	root-3.0.0.jar			Aug 28, 2020
2.7.x	root-2.7.4.jar			Mar 16, 2020
	root-2.7.2.jar			Sep 30, 2019
	root-2.7.0.jar			Jun 03, 2019
2.6.x	root-2.6.4.jar			Oct 29, 2018
	root-2.6.2.jar			May 18, 2018
	root-2.6.0.jar			Feb 16, 2018
2.5.x	root-2.5.6.jar			Dec 11, 2017
	root-2.5.4.jar			Nov 10, 2017
	root-2.5.2.jar			Sep 11, 2017
	root-2.5.0.jar			Aug 10, 2017
2.4.x	root-2.4.8.jar			Jun 05, 2017
	root-2.4.6.jar			Mar 03, 2017
	root-2.4.4.jar			Dec 02, 2016
	root-2.4.2.jar			Oct 06, 2016
	root-2.4.0.jar			Aug 29, 2016
2.3.x	root-2.3.8.jar			Jul 04, 2016
	root-2.3.6.jar			May 22, 2016
	root-2.3.4.jar			Mar 16, 2016
	root-2.3.2.jar			Mar 01, 2016
	root-2.3.0.jar			Oct 07, 2015
2.2.x	root-2.2.8.jar			Oct 07, 2015
	root-2.2.6.jar			Jun 19, 2015
	root-2.2.2.jar			Feb 26, 2015
	root-2.2.0.jar			Feb 11, 2015
2.1.x	root-2.1.6.jar			Jan 16, 2015
	root-2.1.4.jar			Nov 19, 2014
	root-2.1.2.jar			Oct 09, 2014
	root-2.1.0.jar			Jun 12, 2014
2.0.x	root-2.0.8.jar			May 20, 2014
	root-2.0.6.jar			Apr 01, 2014
	root-2.0.4.jar			Mar 10, 2014

View Java Class Source Code in JAR file

1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window root-3.0.2.jar file.
   Once you open a JAR file, all the java classes in the JAR file will be displayed.