Interpolation in Local Theory Extensions
From MaRDI portal
Publication:3613412
DOI10.1007/11814771_21zbMath1222.03018arXiv0806.4553OpenAlexW1515170701MaRDI QIDQ3613412
Publication date: 12 March 2009
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0806.4553
Related Items
Labelled interpolation systems for hyper-resolution, clausal, and local proofs, Constraint solving for interpolation, Interpolation Results for Arrays with Length and MaxDiff, A decidability result for the model checking of infinite-state systems, The Logical Difference Problem for Description Logic Terminologies, Quantifier-free interpolation in combinations of equality interpolating theories, On Combinations of Local Theory Extensions, Rewriting Interpolants, Interpolant Generation for UTVPI, Interpolation and Symbol Elimination, On Local Reasoning in Verification, NIL: learning nonlinear interpolants, On invariant synthesis for parametric systems, Deciding inseparability and conservative extensions in the description logic, Applications of Hierarchical Reasoning in the Verification of Complex Systems, Automatic Verification of Combined Specifications: An Overview