Axiomatic Semantics: Proving Program Properties
Comprehensive guide to axiomatic semantics, exploring how to prove program correctness using Hoare logic, preconditions, postconditions, and invariants.
Program-Verification
Software Verification: Formal Methods for Programs
Explore formal verification techniques for software, including static analysis, theorem proving, and model checking for programs.
Understanding Induction: From Mathematical Foundations to Program Verification
A comprehensive guide to induction principles from 'The Calculus of Computation' by Bradley and Manna, covering mathematical induction, structural induction, and their applications to formal verification.