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
. 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 .
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
- 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
a design tool for distributed real-time control programs running on programmable logic controllers (PLC).
Transformation System TAS:
a system for formal program development in a variety of formal
methods, based on the theorem prover Isabelle
a shallow, conservative encoding of CSP into Isabelle/HOL (Version
Do not hesitate to direct any questions about software, further papers,
etc to firstname.lastname@example.org
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
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)
Last modified: Mon Apr 2 14:02:58 MEST 2001