Verified File Store Latest Status The base specification for the produced VDM model is the Intel Flash File System Core Reference Guide (Version 1). The verification ...
List of TWiki users Below is a list of users with accounts. If you want to edit topics or see protected areas of the site then you can get added to the list by registering ...
Welcome to the VDM Portal VDM (The Vienna Development Method) is a set of techniques for modelling computing systems, analysing those models and progressing to detailed ...
Pacemaker in VDM The Pacemaker Challenge problem has been proposed by the North American Software Certification Consortium, based on a pacemaker specification offered ...
Mondex in VDM Latest Status The abstract and concrete models have been proposed in executable VDM , plus pre/post specifications and are presented here. The abstract ...
Main Web Preferences The following settings are web preferences of the Main web. These preferences overwrite the site level preferences in and , and can ...
Site level preferences are located in however this .TWikiPreferences prefs topic has overrride priority and should be used for local customisations. This allows ...
The VDM Examples Repository This page provides a series of substantial, examples of models produced using VDM , all freely available. The authors have also made the ...
MondexGui I will be working to develop a GUI to allow those unfamiliar VDM (e.g. Bankers) to interact with the Mondex model constructed by the rest of the group. The ...
Using the VDM Tools API As VDM models are executable in VDM Tools, one may wish to interface these models with other applications for a variety of purposes. This ...
The VDM Strategic Research Agenda We are developing a !SRA for VDM related research. The objectives of the agenda are: To give newcomers to our community a means ...
The VDM SL Examples Repository This page provides a series of substantial, examples of models produced using VDM SL, all freely available. The authors have also made ...
Crimson Editor Crimson editor is an open source code editor. It contains syntax highlighting for several different languages such as Java, C/C , LaTex and many others ...
VDM Publications Recent Publications John S. Fitzgerald and Cliff B. Jones. The Connection between Two Ways of Reasoning about Partial Functions , TR1044, School ...
VDM Workshop 2 in conjunction with ZB 2000 This workshop was held on the 2nd of September 2000 Workshop Programme Invited Speaker: Cliff B Jones vdmML ...