Modular Verification of Recursive Programs

DOI10.1007/978-3-642-01748-3_1zbMath1241.68047OpenAlexW2113755395MaRDI QIDQ3630170

Krzysztof R. Apt, Frank S. de Boer, Ernst-Ruediger Olderog

Publication date: 3 June 2009

Published in: Languages: From Formal to Natural (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-01748-3_1

Mathematics Subject Classification ID

Searching and sorting (68P10) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

On Correctness and Completeness of an n Queens Program ⋮ Experiments in program verification using Event-B ⋮ Fifty years of Hoare's logic

This page was built for publication: Modular Verification of Recursive Programs