Interpolation Properties and SAT-Based Model Checking

DOI10.1007/978-3-319-02444-8_19zbMath1410.68229arXiv1212.4650OpenAlexW2117685859MaRDI QIDQ5166692

Arie Gurfinkel, Natasha Sharygina, Simone Fulvio Rollini

Publication date: 8 July 2014

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1212.4650

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Interpolation, preservation, definability (03C40)

Related Items (4)

Sharper and Simpler Nonlinear Interpolants for Program Verification ⋮ SMT-based verification of program changes through summary repair ⋮ Farkas-based tree interpolation ⋮ Exploiting partial variable assignment in interpolation-based model checking

This page was built for publication: Interpolation Properties and SAT-Based Model Checking