Axioms for total correctness

DOI10.1007/BF00263765zbMath0363.68011OpenAlexW2037779985WikidataQ114694822 ScholiaQ114694822MaRDI QIDQ1240548

Stefan Sokołowski

Publication date: 1977

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00263765

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (3)

Hierarchical program specification and verification - a many-sorted logical approach ⋮ Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic ⋮ A mechanical analysis of program verification strategies

This page was built for publication: Axioms for total correctness