Behavioral program logic

DOI10.1007/978-3-030-29026-9_22zbMath1435.68063OpenAlexW2969477420MaRDI QIDQ2180531

Eduard Kamburjan

Publication date: 14 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-29026-9_22

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) 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 (2)

The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics ⋮ From post-conditions to post-region invariants

This page was built for publication: Behavioral program logic