Soft82.com » Windows » Developer Tools » Components & Libraries » Overture Tool 0.3.0

View screenshots

Overture Tool Description

A set of open source Eclipse plug-ins to support the integration of various VDM modelling tools

The Overture project is developing a set of open source Eclipse plug-ins to support the integration of various VDM modelling tools (Vienna Development Method). The aim is to provide support for all existing VDM tools and language dialects.

Features:

* Combinatorial Testing
* Static model checking
* Debugging
* Proof obligation generation
* Formal verification

Overture Tool Download Button For Your Site

If you want to place a Download Button for Overture Tool on your website just insert the following code:

If you want a Link to this page you can use one of the logos bellow:

Overture Tool User Reviews

New Components & Libraries Software

OWLNext May 25, 2012 A modern update and extension of Borland's Object Windows Library for writing GUI apps				Comm Operator Pal May 25, 2012 A free tool to test and debug RS232 devices that communicated with serial port, TCP/IP, UDP and
Witzend Thumbnail Image Viewer May 24, 2012 Accurately displays miniature thumbnail renderings of graphics files				PyBCI May 23, 2012 Create a Brain Comp. Interface (BCI) and herewith to get EEG data online
TMS Panels Pack May 23, 2012 A collection of panels, containers & tabs to make your applications stand out from the rest				SWI-Prolog Portable May 22, 2012 A comprehensive Free Software Prolog environment, licensed under the Lesser GNU Public License
Nevron User Interface for .NET May 22, 2012 Professional User Interface component suite for Windows Forms applications				Calibre May 21, 2012 E-book library management application
ShareWatcher May 21, 2012 ShareWatcher logs and notifies you when others access your shared folders				IntelliJ IDEA May 21, 2012 A code-centric IDE focused on developer productivity
Scikit Learn May 17, 2012 scikits.learn is a python library for machine learning				Fast File Download ActiveX May 17, 2012 An ActiveX component(ActiveX control) that can fast download files from the Internet
.Net Grid May 17, 2012 Productive and robust hierarchical grid with one of the best object models				Excel to PDF .Net May 17, 2012 A standalone component which allows any .Net application get professional export of Excel XLS files
Virtual 8085 May 16, 2012 A tool which enables students to run programs written in 8085 assembly language				dbExpress driver for MySQL May 16, 2012 A driver that provides fast access to MySQL databases.
GUI Design Studio Express May 16, 2012 A graphical user interface design tool for Microsoft Windows				PG4UW May 15, 2012 Common control program for Windows for all ELNEC programmers
dotConnect for Oracle Express Edition May 15, 2012 An enhanced ORM enabled data provider for Oracle that builds on ADO.NET				Wireless Communication Library MFC Developer May 15, 2012 Powerful C++ SDK which expands your applications with Bluetooth, IrDA, WiFi and Serial

Last 7 Days Most Downloaded Components & Libraries Products

Aircrack-ng GUI 165 downloads This is mainly just an interface tweak for Aircrack-ng				Microsoft Visual C++ 2008 Redistributable Package 54 downloads Installs runtime components of Visual C++ Libraries required to run 64-bit applications developed...
C++dbc 45 downloads A library to help you with database management.				ActiveX Download Control 43 downloads Support BreakPoint download,a client ActiveX control easy to realize the download batch files from...
Microsoft Visual C++ 2010 Service Pack 1 Compiler Update for the Windows SDK 38 downloads Restore the Visual C++ compilers and libraries that may have been removed				Windows Imaging Component 28 downloads Provides WIC-enabled applications to display and edit any image format
Grasshopper 27 downloads A Subversion reporting tool				Quake I port for Nokia Series 60 src 26 downloads Quake I port for Nokia Series 60 source code
Calibre 25 downloads E-book library management application				Headers and Libraries for Windows Internet Explorer 9 16 downloads Develop Windows applications that use Windows Internet Explorer 9

All Time Most Downloaded Components & Libraries Products

Aircrack-ng GUI 16,002 downloads This is mainly just an interface tweak for Aircrack-ng				Microsoft Visual C++ 2008 Redistributable Package 31,675 downloads Installs runtime components of Visual C++ Libraries required to run 64-bit applications developed...
C++dbc 16,731 downloads A library to help you with database management.				ActiveX Download Control 22,267 downloads Support BreakPoint download,a client ActiveX control easy to realize the download batch files from...
Microsoft Visual C++ 2010 Service Pack 1 Compiler Update for the Windows SDK 3,644 downloads Restore the Visual C++ compilers and libraries that may have been removed				Windows Imaging Component 35,568 downloads Provides WIC-enabled applications to display and edit any image format
Grasshopper 1,765 downloads A Subversion reporting tool				Quake I port for Nokia Series 60 src 7,846 downloads Quake I port for Nokia Series 60 source code
Calibre 5,758 downloads E-book library management application				Headers and Libraries for Windows Internet Explorer 9 3,578 downloads Develop Windows applications that use Windows Internet Explorer 9