VSE: Controlling the Complexity in Formal Software Developments

VSE: Controlling the Complexity in Formal Software Developments

We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring specifications and it supports the development process from the specification of a system to the code generation. Formal developments following this method are sto...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Hutter, Dieter, Mantel, Heiko, Rock, Georg, Stephan, Werner, Wolpers, Andreas, Balser, Michael, Reif, Wolfgang, Schellhorn, Gerhard, Stenzel, Kurt
Format: Buchkapitel
Sprache:eng
Schlagworte:
Applied sciences
Computer science
control theory
systems
Dynamic Logic
Exact sciences and technology
Formal Development
Proof Obligation
Software
Software engineering
State Machine
Symbolic Execution
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring specifications and it supports the development process from the specification of a system to the code generation. Formal developments following this method are stored and maintained in an administration system that guides the user and maintains a consistent state. An integrated deduction system provides proof support for the deduction problems arising during the development process.
ISSN:0302-9743
1611-3349
DOI:10.1007/3-540-48257-1_26