The UniForM Workbench, a Universal Development Environment for Formal Methods
作者： Bernd Krieg-Brückner , Jan Peleska , Ernst-Rüdiger Olderog , Alexander Baer
关键词: Reactive system 、 Formal verification 、 Programming language 、 Computer science 、 Formal methods 、 Transformation (function) 、 Specification language 、 Workbench 、 Development (topology)
摘要: The UniForM Workbench supports combination of Formal Methods (on a solid logical foundation), provides tools for the development hybrid, real-time or reactive systems, transformation, verification, validation and testing. Moreover, it comprises universal framework integration methods in common environment. Several industrial case studies are described.
springer.com
core.ac.uk
sci-hub.st 参考文章(52)
Kolyang, C. Lüth, T. Meyer, B. Wolff, TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving colloquium on trees in algebra and programming. pp. 855- 858 ,(1997) , 10.1007/BFB0030646
Clemens Fischer, CSP-OZ: a combination of object-Z and CSP formal methods for open object based distributed systems. pp. 423- 438 ,(1997) , 10.1007/978-0-387-35261-9_29
Bernd Krieg-Brückner, Seven Years of COMPASS workshop on specification of abstract data types joint with compass workshop on recent trends in data type specification. pp. 1- 13 ,(1995) , 10.1007/3-540-61629-2_32
Răzvan Diaconescu, Extra Theory Morphisms for Institutions: Logical Semantics for Multi-Paradigm Languages Applied Categorical Structures. ,vol. 6, pp. 427- 453 ,(1998) , 10.1023/A:1008607717635
H. Tej, B. Wolff, A Corrected Failure Divergence Model for CSP in Isabelle/HOL formal methods. pp. 318- 337 ,(1997) , 10.1007/3-540-63533-5_17
Kolyang, T. Santen, B. Wolff, Correct and User-Friendly Implementations of Transformation Systems formal methods. pp. 629- 648 ,(1996) , 10.1007/3-540-60973-3_111
G. Urban, H.-J. Kolinowitz, J. Peleska, A survivable avionics system for space applications ieee international symposium on fault tolerant computing. pp. 372- 381 ,(1998) , 10.1109/FTCS.1998.689488
Till Mossakowski, Translationg OBJ3 into CASL: The Institution Level workshop on recent trends in algebraic development techniques. pp. 198- 215 ,(1998) , 10.1007/3-540-48483-3_14
Bernd Krieg-Brückner, UniForM Perspectives for Formal Methods formal methods. pp. 251- 265 ,(1998) , 10.1007/3-540-48257-1_16
Egidio Astesiano, Maura Cerioli, Multiparadigm Specification Languages: A First Attempt at Foundations Proceedings of the International Workshop on Semantics of Specification Languages (SoSL). pp. 168- 185 ,(1993) , 10.1007/978-1-4471-3229-5_10