Software verification and analysis : an integrated, hands-on approach /
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
London, England :
Springer,
c2009.
|
| Subjects: |
Table of Contents:
- Introduction : what do we want to know about the program?
- 1. Why not write correct software the first time?
- 2. How to prove a program correct : programs without loops
- 3. How to prove a program correct : iterative programs
- 4. Prepare test for any implementation : Black-Box testing
- 5. Intermediate Program Representation
- 6. Program dependencies
- 7. What can one tell about a program without its execution : static analysis
- 8. Is there a bug in the program? : structural program testing
- 9. Dynamic program analysis.