TU Darmstadt / ULB / TUbiblio

VSE: Formal Methods Meet Industrial Needs

Autexier, Serge and Hutter, Dieter and Langenstein, Bruno and Mantel, Heiko and Rock, Georg and Schairer, Axel and Stephan, Werner and Vogt, Roland and Wolpers, Andreas (2000):
VSE: Formal Methods Meet Industrial Needs.
In: International Journal on Software Tools for Technology Transfer, Springer, pp. 66-77, 3, (1), ISSN 1433-2779, [Online-Edition: https://link.springer.com/article/10.1007/s100099900022],
[Article]

Abstract

The Verification Support Environment (VSE) is a tool to formally specify and verify complex systems. It provides the means to structure specifications and supports the development process from the specification of a system to the automatic generation of code. Formal developments following the VSE method are stored and maintained in an administration system that guides the user and maintains a consistent state of development. An integrated deduction system provides proof support for the deduction problems arising during the development process.

We describe the application of VSE to an industrial case study and give an overview of the enhanced VSE system and the VSE methodology.

Item Type: Article
Erschienen: 2000
Creators: Autexier, Serge and Hutter, Dieter and Langenstein, Bruno and Mantel, Heiko and Rock, Georg and Schairer, Axel and Stephan, Werner and Vogt, Roland and Wolpers, Andreas
Title: VSE: Formal Methods Meet Industrial Needs
Language: English
Abstract:

The Verification Support Environment (VSE) is a tool to formally specify and verify complex systems. It provides the means to structure specifications and supports the development process from the specification of a system to the automatic generation of code. Formal developments following the VSE method are stored and maintained in an administration system that guides the user and maintains a consistent state of development. An integrated deduction system provides proof support for the deduction problems arising during the development process.

We describe the application of VSE to an industrial case study and give an overview of the enhanced VSE system and the VSE methodology.

Journal or Publication Title: International Journal on Software Tools for Technology Transfer
Volume: 3
Number: 1
Publisher: Springer
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
Date Deposited: 09 Apr 2010 14:10
Official URL: https://link.springer.com/article/10.1007/s100099900022
Additional Information:

ar:vsegroup2000a

Export:

Optionen (nur für Redakteure)

View Item View Item