Verification of Software

  • H. Kopetz
Chapter

Abstract

At the beginning of every software development some concepts of what the system should do are formulated. The verification of the software package produced constitutes confirmation that these concepts are in fact fulfilled.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Carl Hanser Verlag München Wien 1976

Authors and Affiliations

  • H. Kopetz
    • 1
  1. 1.Technical University of BerlinGermany

Personalised recommendations