Formal Software Development in the Verification Support Environment (VSE)

Dieter Hutter, Georg Rock, Jorg H. Siekmann, Werner Stephan, and Roland Vogt, German Research Center for Artificial Intelligence, Germany

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 do-main is used.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.