Formal software development in the Verification Support Environment (VSE)
In this paper a survey of the VSE system, a CASE-tool for formal software development. is presented. Main emphasis is put on the underlying formal method and tool support, and that in particular from the deductive support perspective. In order to demonstrate its broad range of applicability and to give an impression on how to work with the system we make use of two (commercial) applications taken from the safety and the IT-security domain.
verification formal methods deduction software engineering security