Submit Software
  1. Home
  2. Windows
  3. Other
  4. VDMJ

VDMJ

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎1 ‎votes
Download

VDMJ provides basic tool support for the VDM-SL, VDM++ and VDM-RT specification languages, written in Java. It includes a parser, a type checker, an interpreter, a debugger and a proof obligation generator. It is used by the Overture eclipse project.

VERSION HISTORY

  • Version N/A posted on 2011-06-24
  • Version Jars posted on 2011-03-14
    Several fixes and updates

Program Details

Related Programs

  • qgallery Free

    This program will traverse a directory tree, processing jpeg image files to produce neat and easily navigatable HTML image galleries. qgallery will automatically generate thumbnails, ando can also ptionally downsize images

  • Multimedia Interface Library Free

    The mission of this project is to create a set of library and component for microsoft .net languages and mono languages for multimedia like sound playing video input and directx and opengl facility libraries, and control for

  • ImageFun Free

    ImageFun is a small application that can change picture's background

  • ZH Mono Free

    a monospaced font covering Inscriptional Pahlavi and Inscriptional Parthian (Please note that Windows 7 does not (yet?) support the two main Unicode ranges represented in this font. However, Windows XP and Windows Vista work

  • vSigpac Free

    vSigpac is a map viewer and a marker creator/editor, terrain and texture generator for MSTS (Microsoft Train Simulator (c)). vSigpac works primaryly with Sigpac maps/orthophotos from Spain, but it can work with others WMS com

  • CoverME Free

    Software for searching and downloading album cover pictures. Covers of music albums, DVDs or Software

  • Essence 3D Game Engine Free

    Essence is a 3d game engine being written in C++ for the Windows platforms.The engine is an efficient but easy-to-use toolkit for developers wishing to create games, prototypes or visualisations.It will provide programmer

  • dvbpic Free

    Dvbpic is an image converter, encoder and viewer for dvb-cards; you can use it to watch pictures, like those taken with your digital camera, on your tv-set through a DVB-card supported by the linux dvb driver.

  • Python Computer Graphics Kit Free

    The Python Computer Graphics Kit is a collection of Python modules thatcontain the basic types and functions to be able to create 3D computergraphics images (focusing on Pixar's RenderMan interface).

  • Clay3D Free

    Clay3D is a complete, extensible, and feature rich suite of network agnostic, scalable applications for the production of computer generated imagery and visual effects. Please see homepage for more information.