[Uni [FB [TZI] [BISS]

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:

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.

Contact Address

Do not hesitate to direct any questions about software, further papers, etc to

Cited Papers

Krieg-Brückner, B., Peleska, J., Olderog, E.-R., Baer, A.:
The UniForM Workbench, a Universal Development Environment for Formal Methods.
In: Wing, J. M., Woodcock, J., and Davies, J. (eds.): FM'99, Formal Methods. Proceedings, Vol. II. Lecture Notes in Computer Science 1709. Springer (1999) 1186-1205.

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.

Last modified: Mon Apr 2 14:02:58 MEST 2001