Formal Software Development in the Verification Support Environment (VSE)

13 years 5 months ago

Download www.aaai.org

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,

Real-time Traffic

Artificial Intelligence | FLAIRS 2000 | Formal Software Development | Presentation Describing Methodology | VSE System |

claim paper

» A Historybased Verification of Distributed Applications

» Formally Specifying and Verifying RealTime Systems

» Formal Verification of the IEEE 80211i WLAN Security Protocol

» Supporting Reuse of EventB Developments through Generic Instantiation

» Secure systems development based on the common criteria the PalME project

» Industrial Strength Software Development Environments

» Formalization of fFSM Model and Its Verification

» Cadena An Integrated Development Analysis and Verification Environment for Componentbased ...

Post Info
More Details (n/a)

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)

Sciweavers

Formal Software Development in the Verification Support Environment (VSE)

Artificial Intelligence | FLAIRS 2000 | Formal Software Development | Presentation Describing Methodology | VSE System |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers