User:Centic/Books/Program Verification


Program Verification

edit
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