Skip to main content
SpringerLink
Log in

Formale Spezifikation und Verifikation - Ein Überblick -

  • Conference paper
VIS ’91 Verläßliche Informationssysteme

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 271))

  • 70 Accesses

Zusammenfassung

Die stetig wachsende Zahl von Computerprogrammen zur Lösung von Aufgaben in hoch-kritischen Bereichen sowie deren teilweise sehr hohe Komplexität, lassen die Frage nach der Korrektheit dieser Programme immer wichtiger werden. Wir alle verlassen uns fast täglich auf Programme, deren Versagen einen hohen materiellen oder gesundheitlichen Schaden zur Folge haben kann.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Bjørner, D. et al (ed.) VDM’87 VDM - A Formal Method at Work. Proceedings VDM-Europe Symposium 1987 Springer-Verlag, Berlin, 1982

    Google Scholar 

  2. Boyer, R.S. und Moore, J.S. A Computational Logic. Academic Press, New York, 1979

    MATH  Google Scholar 

  3. Craigen, Dan A Technical Review of Four Verification Systems: Gypsy, Affirm, FDM and Revised Special. Tfech. Report FR-85-5401–01 I.P. Sharp Associates Limited, Ottawa, 1985

    Google Scholar 

  4. Dijkstra, E.W. A Constructive Approach to the Problem of Program Correctness. BIT, vol 8, pp. 174–186, 1968

    Google Scholar 

  5. Floyd, R.W. Assigning Meaning to Programs. In: Mathematical Aspects of Computer Science edited by J. T. Schwartz, Proceedings, Symposium in Applied Mathematics vol. 19, pp. 19–32, American Mathematical Society, Providence, 1967

    Google Scholar 

  6. Gehani, N. und Mc Gettrick, A.D. (ed.) Software Specification Techniques. Addison-Wesley, Reading, 1986

    Google Scholar 

  7. Good, D.I. und Siebert, A.E. und Smith, L.M. Message Flow Modulator, Final Report Technical Report 34, Institute for Computing Science, University of Texas at Austin, 1982

    Google Scholar 

  8. Guttag, J.V. und Horning, J.J. The Algebraic Specification of Abstract Data Types. Acta Informatica, vol. 10, no. 1, pp. 27–52, 1978

    Google Scholar 

  9. Hayes, I. (ed.) Specification Case Studies. Prentice Hall, Englewood Cliffs, 1987

    Google Scholar 

  10. Hoare, C.A.R. An Axiomatic Basis for Computer Programming. CACM, vol 12, pp. 576–583, 1969

    Google Scholar 

  11. Hoare, C.A.R. und Wirth, N. An Axiomatic Definition of the Programming Language Pascal. Acta Informatica, vol. 2, no. 4, pp. 335–355, 1973

    Google Scholar 

  12. Jones, C.B. Software Development: A Rigorous Approach. Prentice Hall, Englewood Cliffs, 1980

    MATH  Google Scholar 

  13. Kersten, H. (ed.) Sichere Software Formale Spezifikation und Verifikation vertrauenswürdiger Systeme. Hüthig, Heidelberg, 1990

    Google Scholar 

  14. Manna, Z. The Correctness of Programs. Journal of Computer and System Sciences, vol. 3, no. 2, pp. 119–127, 1969

    Article  MathSciNet  Google Scholar 

  15. Shaw, R. From Logic to States and Operations. VDM-Europe Tutorial Paper, 1987

    Google Scholar 

  16. Young, W.D. Comparing Specification Paradigms: Gypsy and Z. Proceedings of the 12th National Computer Security Conference Baltimore, 1989

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IABG mbH, Einsteinstraße 20, 8012, Ottobrunn, Deutschland

    Helmut Kurth

Authors
  1. Helmut Kurth
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Rechnerentwurf und Fehlertoleranz, Universität Karlsruhe, Postfach 6980, W-7500, Karlsruhe 1, Deutschland

    Andreas Pfitzmann

  2. Institut für Systemtechnik Bereich Kommunikationstechnik, GMD, Rheinstr. 75, W-6100, Darmstadt, Deutschland

    Eckart Raubold

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kurth, H. (1987). Formale Spezifikation und Verifikation - Ein Überblick -. In: Pfitzmann, A., Raubold, E. (eds) VIS ’91 Verläßliche Informationssysteme. Informatik-Fachberichte, vol 271. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76562-9_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-76562-9_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53911-7

  • Online ISBN: 978-3-642-76562-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation