Program Testing: A Problem

  • Hung T. Nguyen
  • Vladik Kreinovich
Part of the Theory and Decision Library book series (TDLB, volume 38)


Now that we know how to solve simple functional equations, we will start the discussion of another computer science area where these equations are useful: the problem of software reliability. In this lesson, we will briefly describe the problem, and describe its current (semi-heuristic) solutions.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. ▪. Bakker. Mathematical theory of program correctness Englewood Cliffs, NJ, 1980.zbMATHGoogle Scholar
  2. ▪.
    E. M. Clarke and R. P. Kurshan (eds.). Computer-aided verification’90. Proceedings of a DIMACS Workshop, American Mathematical Society, Providence, RI, 1991.Google Scholar
  3. ▪.
    P. Cousot, “Methods and logics for proving programs”, In: J. van Leeuwen (ed.) Handbook of Theoretical Computer Science, Vol. B, Elsevier, Amsterdam, 1990, pp. 843–982.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1997

Authors and Affiliations

  • Hung T. Nguyen
    • 1
  • Vladik Kreinovich
    • 2
  1. 1.New Mexico State UniversityLas CrucesUSA
  2. 2.University of Texas El PasoEl PasoUSA

Personalised recommendations