Jump to content

User:Centic/Books/Program Verification

From Wikipedia, the free encyclopedia


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