an introduction to program verification text enk London Springer 2011 monographic eng

print

xii, 263 p. : ill. ; 24 cm. 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 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 specialized Josâe Bacelar Almeida ... [et al.] Includes bibliographical references and index Computer software Development Computer software Verification 9780857290175 0857290177 UMP 110720 20251117150453.0 vtls000054898