Formal Software Development in the Verification Support Environment (VSE)

The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, architecture, and proof support of the system. For illustration a commercial application from the IT-security domain is used.

• Type: Conference
• Year: 2000
• Where: FLAIRS
• Authors: Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
• Keywords: Artificial Intelligence, FLAIRS 2000, Formal Software Development, Presentation Describing Methodology, VSE System