Rigorous software development an Introduction to program verification /
Josae Bacelar Almeida ... [et al.].
- London : Springer, 2011.
- xii, 263 p. : ill. 24 cm.
- Undergraduate topics in computer science. 1863-7310 .
Includes bibliographical references and index.
1. Introduction -- 2. An overview of formal methods tools and techniques -- 3. Propositional logic -- 4. First-order logic -- 5. Hoare logic -- 6. Generating verification conditions -- 7. Safety properties -- 8. Procedures and contracts -- 9. Specifying C programs -- 10. Verifying C programs.