Search Results - "Hoare logic"

Rigorous software development an introduction to program verification

Table of Contents: “…Introduction -- An overview of formal methods tools and techniques -- Propositional logic -- First-order logic -- Hoare logic -- Generating verification conditions -- Safety properties -- Procedures and contracts -- Specifying C programs -- Verifying C…”
Click Here to View Status and Holdings.