Universal Formal Methods Workbench

The Universal Formal Methods Workbench was a project at the Universities of Bremen and Oldenburg, together with industrial partners at ElPro LET GmbH, Berlin, funded by the German Ministry for Education and Research BMBF, running from 1995 until 1998.

Papers and Specific Information

A general overview of the project and its results can be found in [1]. If you read German, a more comprehensive review can be found in the final project report. Perspectives about our future work in this area are outlined in [2].

For more specific information, contact the project partners:

• Prof. Dr. B. Krieg-Brückner (Coordinator), Universität Bremen
• Prof. Dr. J. Peleska, Universität Bremen
• Prof. Dr. E.-R. Olderog, Carl-von-Ossietzky Universität Oldenburg
• Prof. Dr. D. Balzer, A. Baer, Elpro LET GmbH, Berlin

Software developed during the UniForM project

Even though the project has finished, the work is still continuing - in particular, support and development of the software listed below.

• The UniForM Workbench: a tool integration framework written entirely in the functional language Haskell.
• The Graphical Development Assistant GDPA: a web-centered formal development process information service.
• Moby/PLC: a design tool for distributed real-time control programs running on programmable logic controllers (PLC).
• The Transformation System TAS: a system for formal program development in a variety of formal methods, based on the theorem prover Isabelle
• HOL-CSP: a shallow, conservative encoding of CSP into Isabelle/HOL (Version 98-0).

Contact Address

Cited Papers

[2]
Krieg-Brückner, B.: UniForM Perspectives for Formal Methods.
In: D. Hutter, W. Stephan, P. Traverso, M. Ullmann (eds.): Applied Formal Methods- FM-Trends 98.
International Workshop on Current Trends in Applied Formal Methods. Lecture Notes in Computer Science 1641. Springer (1999) 251-265.