Proof-Producing Program Analysis
From MaRDI portal
Publication:3525156
DOI10.1007/11921240_20zbMath1168.68358OpenAlexW2155617664MaRDI QIDQ3525156
Publication date: 11 September 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11921240_20
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Proof optimization for partial redundancy elimination, Reusing predicate precision in value analysis, Certificate Translation in Abstract Interpretation
Uses Software