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.
CITATION STYLE
Krieg-Brückner, B., Peleska, J., Olderog, E. R., & Baer, A. (1999). The UniForM workbench, A universal development environment for formal methods. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1709, pp. 1186–1205). Springer Verlag. https://doi.org/10.1007/3-540-48118-4_13
Mendeley helps you to discover research relevant for your work.