Verification, Model Checking, and Abstract Interpretation
From MaRDI portal
Publication:5898611
DOI10.1007/11609773zbMath1176.68052OpenAlexW2496613029MaRDI QIDQ5898611
Publication date: 12 February 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11609773
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (6)
Certifying assembly programs with trails ⋮ A compositional natural semantics and Hoare logic for low-level languages ⋮ Certifying assembly with formal security proofs: the case of BBS ⋮ Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control ⋮ Equational Theories of Abnormal Termination Based on Kleene Algebra ⋮ Multimodal Separation Logic for Reasoning About Operational Semantics
This page was built for publication: Verification, Model Checking, and Abstract Interpretation
