Proof-Producing Program Analysis

DOI10.1007/11921240_20zbMath1168.68358OpenAlexW2155617664MaRDI QIDQ3525156

Amine Chaieb

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

Mathematics Subject Classification ID

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

• Isabelle/HOL