The UniForM workbench a universal development environment for formal methods. The UniForM Workbench supports combination of Formal Methods (on a solid logical foundation), provides tools for the development of hybrid, real-time or reactive systems, transformation, verification, validation and testing. Moreover, it comprises a universal framework for the integration of methods and tools in a common development environment. Several industrial case studies are described.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element