The UniForM Workbench, a Universal Development Environment for Formal Methods

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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Krieg-Brückner, Bernd, Peleska, Jan, Olderog, Ernst-Rüdiger, Baer, Alexander
Format: Buchkapitel
Sprache:eng
Schlagworte:
Applied sciences
Computer science
control theory
systems
Duration Calculus
Exact sciences and technology
Formal Method
International Space Station
Proof Obligation
Software
Software engineering
Transformation Rule
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0302-9743
1611-3349
DOI:10.1007/3-540-48118-4_13