Sciweavers

Share
FLAIRS
2000

Formal Software Development in the Verification Support Environment (VSE)

10 years 11 months ago
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.
Dieter Hutter, Georg Rock, Jörg H. Siekmann,
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 2000
Where FLAIRS
Authors Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
Comments (0)
books