Partial correctness: The term-wise approach

DOI10.1016/0167-6423(84)90017-0zbMath0538.68008OpenAlexW1963991971MaRDI QIDQ793507

Stefan Sokołowski

Publication date: 1984

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(84)90017-0

zbMATH Keywords

completenesssoundnessapplicative featuresHoare's logicterm-wise correctness

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Secure mechanical verification of mutually recursive procedures ⋮ Mechanical verification of mutually recursive procedures

This page was built for publication: Partial correctness: The term-wise approach