Correctness, explanation and intention

DOI10.1007/978-3-030-22996-2_6zbMath1457.68035OpenAlexW2953757303MaRDI QIDQ2179349

Raymond Turner

Publication date: 12 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-22996-2_6

zbMATH Keywords

convincing solutionsexplanatory proofsextensional solutionsHoare-style correctness proofsphysical correctness

Mathematics Subject Classification ID

General topics of discrete mathematics in relation to computer science (68R01) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Correctness, explanation and intention