Interpolation and SAT-based model checking revisited: adoption to software verification

DOI10.1007/S10817-024-09702-9MaRDI QIDQ7009613zbMATH OpenFDO

Authors D. Beyer, Nian-Ze Lee, Philipp Wendler

Publication date 20 March 2025

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

interpolationmodel checkingSATSMTsoftware verificationprogram analysisCPAcheckerinterpolation-based model checking

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Computational aspects of satisfiability (68R07)

This page was built for publication: Interpolation and SAT-based model checking revisited: adoption to software verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7009613)