Rigorous software development : an introduction to program verification /
Rigorous software development : an introduction to program verification /
Josâe Bacelar Almeida ... [et al.]
- London : Springer, 2011
- xii, 263 p. : ill. ; 24 cm.
- Undergraduate topics in computer science, 1863-7310 .
- Undergraduate topics in computer science, .
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
Undergraduate Topics in Computer Science (UTiCS) delivers high-quality instructional content for undergraduates studying in all areas of computing and information science. From core foundational and theoretical material to final-year topics and applications, UTiCS books take a fresh, concise, and modern approach and are ideal for self-study or for a one- or two-semester course. The texts are all authored by established experts in their fields, reviewed by an international advisory board, and contain numerous examples and problems. Many include fully worked solutions
9780857290175 0857290177
Computer software--Development
Computer software--Verification
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
Undergraduate Topics in Computer Science (UTiCS) delivers high-quality instructional content for undergraduates studying in all areas of computing and information science. From core foundational and theoretical material to final-year topics and applications, UTiCS books take a fresh, concise, and modern approach and are ideal for self-study or for a one- or two-semester course. The texts are all authored by established experts in their fields, reviewed by an international advisory board, and contain numerous examples and problems. Many include fully worked solutions
9780857290175 0857290177
Computer software--Development
Computer software--Verification