Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Reference
J.de Bakker. Mathematical theory of program correctness Englewood Cliffs, NJ, 1980.
E. M. Clarke and R. P. Kurshan (eds.). Computer-aided verification’90. Proceedings of a DIMACS Workshop, American Mathematical Society, Providence, RI, 1991.
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.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Nguyen, H.T., Kreinovich, V. (1997). Program Testing: A Problem. In: Applications of Continuous Mathematics to Computer Science. Theory and Decision Library, vol 38. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0743-5_3
Download citation
DOI: https://doi.org/10.1007/978-94-017-0743-5_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4901-8
Online ISBN: 978-94-017-0743-5
eBook Packages: Springer Book Archive