User:Centic/Books/Program Verification

Program Verification

 * Correctness (computer science)
 * Formal verification
 * Hoare logic
 * Semantics (computer science)
 * Algebraic semantics (computer science)
 * Axiomatic semantics
 * Predicate transformer semantics
 * Denotational semantics
 * Operational semantics
 * Proof-carrying code
 * CompCert
 * Model checking