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 speci cations and it supports the development process from the speci cation 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.

• Type: Conference
• Year: 1998
• Where: FM
• Authors: Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
• Keywords: Development Process, Enhanced Vse, FM 1998, Formal Methods, Speci Cation