A decomposition rule for the Hoare logic

DOI10.1016/0020-0190(87)90006-8zbMath0635.68004OpenAlexW2028808675MaRDI QIDQ1097683

Tadao Takaoka

Publication date: 1987

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(87)90006-8

zbMATH Keywords

Hoare logicprogram verificationcomplexity of theorem provingdecomposition rule

Mathematics Subject Classification ID

Cites Work

• Automatic program verification. I: A logical basis and its implementation
• Logical analysis of programs
• An axiomatic basis for computer programming
• Unnamed Item

This page was built for publication: A decomposition rule for the Hoare logic