Proof Tree Preserving Interpolation
From MaRDI portal
Publication:5326320
DOI10.1007/978-3-642-36742-7_9zbMath1381.68152arXiv1705.05309OpenAlexW169526355MaRDI QIDQ5326320
Alexander Nutz, Jürgen Christ, Jochen Hoenicke
Publication date: 5 August 2013
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1705.05309
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Interpolation, preservation, definability (03C40)
Related Items (10)
Proof tree preserving tree interpolation ⋮ Satisfiability Modulo Theories ⋮ Interpolation Results for Arrays with Length and MaxDiff ⋮ Weakly Equivalent Arrays ⋮ Complete instantiation-based interpolation ⋮ Resolution proof transformation for compression and interpolation ⋮ Automated Program Verification ⋮ Petri Net Synthesis for Restricted Classes of Nets ⋮ A Survey of Satisfiability Modulo Theory ⋮ Target-oriented Petri Net Synthesis
This page was built for publication: Proof Tree Preserving Interpolation
