Proof Theory of Partial Correctness Verification Systems

DOI10.1137/0205030zbMath0341.68017OpenAlexW2037677880MaRDI QIDQ4109274

Susan L. Gerhardt

Publication date: 1976

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0205030

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Proof theory and constructive mathematics (03F99)

Related Items

Correctness of the compiling process based on axiomatic semantics ⋮ Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic ⋮ Automatic programming: A tutorial on formal methodologies