Rigorous software development : an introduction to program verification
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London, U. K. ; New York :
Springer ,
c2011
|
| Series: | Undergraduate topics in computer science
|
| Subjects: | |
| Online Access: | Table of contents only Contributor biographical information Publisher description |
Table of Contents:
- 1. Introduction
- 2. An overview of formal methods tools and technique
- 3. Propositional logic
- 4. First order logic
- 5. Hoare logic
- 6. Generating verification conditions
- 7. safety properties
- 8. Producers and contracts
- 9. Specifying C programs
- 10. Verifying programs