Hoare-Style Reasoning from Multiple Contracts

DOI10.1007/978-3-319-66845-1_17zbMath1498.68168OpenAlexW2747300583MaRDI QIDQ5045478

Toktam Ramezanifarkhani, Olaf Owe, Elahe Fazeldehkordi

Publication date: 4 November 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-66845-1_17

zbMATH Keywords

completenessadaptationsoundnessHoare logicmultiple contractscontract-based specificationcontract-based verificationunavailable source code

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 (1)

An abstract contract theory for programs with procedures

This page was built for publication: Hoare-Style Reasoning from Multiple Contracts