Axioms for total correctness
From MaRDI portal
Publication:1240548
DOI10.1007/BF00263765zbMath0363.68011WikidataQ114694822 ScholiaQ114694822MaRDI QIDQ1240548
Publication date: 1977
Published in: Acta Informatica (Search for Journal in Brave)
68N01: General topics in the theory of software
Related Items
A mechanical analysis of program verification strategies, Hierarchical program specification and verification - a many-sorted logical approach, Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic