Rigorous software development : an introduction to program verification / Josâe Bacelar Almeida ... [et al.]
Material type:
TextSeries: Undergraduate topics in computer sciencePublication details: London : Springer, 2011Description: xii, 263 p. : ill. ; 24 cmISBN: - 9780857290175
- 0857290177
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Open Shelf
|
UMPLIB PEKAN | QA76.76.V47 R54 2011 (Browse shelf(Opens below)) | 1 | Available | 0000061810 |
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