Verification, Model Checking, and Abstract Interpretation
From MaRDI portal
Publication:5901899
DOI10.1007/b94790zbMath1202.68085OpenAlexW3146639584MaRDI QIDQ5901899
Gilles Barthe, Tamara Rezk, Amitabh Basu
Publication date: 15 May 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b94790
Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
More Typed Assembly Languages for Confidentiality ⋮ Formalizing non-interference for a simple bytecode language in Coq
This page was built for publication: Verification, Model Checking, and Abstract Interpretation