Forward with Hoare

DOI10.1007/978-1-84882-912-1_5zbMath1215.68129OpenAlexW1664980806MaRDI QIDQ3163399

Mike Gordon, Hélène Collavizza

Publication date: 26 October 2010

Published in: Reflections on the Work of C.A.R. Hoare (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-84882-912-1_5

zbMATH Keywords

Hoare logicprogram verification

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

An Isbell duality theorem for type refinement systems ⋮ Matching Logic: An Alternative to Hoare/Floyd Logic ⋮ Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach

This page was built for publication: Forward with Hoare