Verification Support Environment (VSE)

The potential dangers from a malfunctioning of information processing systems range from simple loss of data to loss of life. This led many states come up with (hierarchies of) criteria to evaluate the trustworthiness of software systems. The Verification Support Environment (VSE) was designed to satisfies the requirements of the higher levels of such catalogs of criteria. VSE complements the usual functionality of CASE tools with support for formal specification and verification of software systems or parts thereof. In this paper we will outline the formal concepts of VSE, the system architecture, and the system's application to real world examples, taking the VSE [Vorgehensmodell] as a guideline. 1 The VSE Project Background The reliable operation of complex computing systems is becoming increasingly important for the security of the technical systems they control. Industrial plants, traffic control and data communication systems face the threat of loss or garbling of data, breach o..