Verification Support Environment (original) (raw)

Abstract

Formal methods are recognized as the most promising way to produce high assurance software systems. In reality this fact is not enough to convince industry to use them. Formal methods must be applicable and usable in several areas (security, safety), engineers have to accept a change in software development work but should not be asked to give up the environment they are used to and bosses must realize that higher effort during the design phase can save money and time later. This paper describes the recently completed formal specification and verification tool Verification Support Environment (VSE). An advantage of the design of the VSE tool is the possibility of using formal and semiformal development methods combined in a unique working environment. After official release of the VSE-system March 1995 several pilot projects were carried out with industry. The paper gives an overview of the VSE-system and describes the results of the pilot applications.

Chapter PDF

References

  1. Koob, F., Ullmann, M., Wittmann, S.: The Formal VSE Development Method — A Way to Engineer High-Assurance Software Systems. Eleventh Annual of the COMPUTER SECURITY APPLICATIONS Conference (1995) 196–204
    Google Scholar
  2. Reif, W., Schellhorn, G., Stenzel, K.: Interactive Correctness Proofs for Software Modules Using KIV. Proceedings of the Tenth Annual Conference on Computer Assurance (1995) 151–162
    Google Scholar
  3. Hutter, D. et al: Deduction in the Verification Support Environment (VSE). Springer LNCS 1051 (1996) 268–286
    Google Scholar

Download references

Author information

Authors and Affiliations

  1. Bundesamt fuer Sicherheit in der Informationstechnik, Godesberger Allee 183, D-53133, Bonn, Germany
    Frank Koob, Markus Ullmann & Stefan Wittmann

Authors

  1. Frank Koob
  2. Markus Ullmann
  3. Stefan Wittmann

Editor information

Rajeev Alur Thomas A. Henzinger

Rights and permissions

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Koob, F., Ullmann, M., Wittmann, S. (1996). Verification Support Environment. In: Alur, R., Henzinger, T.A. (eds) Computer Aided Verification. CAV 1996. Lecture Notes in Computer Science, vol 1102. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61474-5\_101

Download citation

Keywords

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Publish with us