Vdm

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. Platforms: Windows, Mac, Linux

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. Platforms: Windows, Mac, Linux

SPARK Vintage Drum Machines brings 30 legendary drum machines to the musician. Intuitive and powerful, this software is much more than your typical sample player. By mixing high quality samples and virtual analog synthesis (based on TAE?*A*), Spark Vintage Drum Machines manages to capture the... Platforms: Mac

Modern computers' power is enough to let you run numerous applications at the same time. You can surf the Internet, listen to the music and chat with your friends at the same time, but the more tasks you launch, the harder it gets to manage them. That's when you might start thinking of getting... Platforms: Windows

This package will help you install the latest Microsoft ForeFront Client Security definition updates. mpam-fe.exe Antimalware Full + Engine package (for x86, amd64, ia64) Contains engine (mpengine.dll), mpasbase.vdm, mpasdlta.vdm, mpavbase.vdm, mpavdlt.vdm, mpsigstub.exe. mpam-d.exe... Platforms: Windows