Inference Rules for Program Annotation

DOI10.1109/TSE.1981.234518zbMath0463.68023OpenAlexW2064934273MaRDI QIDQ3914411

Zohar Manna, Nachum Dershowitz

Publication date: 1981

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tse.1981.234518

zbMATH Keywords

verificationinference rulesprogram correctnessinvariant assertionsprogram annotation

Mathematics Subject Classification ID

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

Related Items (4)

Verification conditions for source-level imperative programs ⋮ Generating all polynomial invariants in simple loops ⋮ Semantics of algorithmic languages ⋮ Synthetic programming

This page was built for publication: Inference Rules for Program Annotation