Formal software development in the Verification Support Environment (VSE)
Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Stephan Werner, Roland Vogt · Journal of Experimental & Theoretical Artificial Intelligence · 2000
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.