Options
VSE: formal methods meet industrial needs
Publikationstyp
Journal Article
Date Issued
2000
Sprache
English
Author(s)
Volume
3
Issue
1
Start Page
66
End Page
77
Citation
International Journal on Software Tools for Technology Transfer 3 (1): 66-77 (2000)
Publisher DOI
Scopus ID
Publisher
Springer
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.
Subjects
Automated theorem proving
Compositionality
Formal software development
Interactive theorem proving
Modular proof development
Temporal logic
DDC Class
004: Informatik