Soundness and Completeness of an Axiom System for Program Verification

Cook, S. A. (1978). Soundness and Completeness of an Axiom System for Program Verification. SIAM Journal on Computing, 7(1).

Type

Journal article

Intellectual base

Primary research

Year

1978

DOI

10.1137/0207005

Link

https://doi.org/10.1137/0207005

Cited by

1 citation across 1 artifact.

Domain-specific

• Hoare Logic
  • Relative completeness, under appropriate assumptions about the assertion language, explains what can be derived when needed state properties are expressible.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:d0948f2d077f · see in the full table