Decomposing Farkas Interpolants
From MaRDI portal
Publication:6091330
DOI10.1007/978-3-030-17462-0_1zbMath1527.68126OpenAlexW2925777211MaRDI QIDQ6091330
Jan Kofroň, Natasha Sharygina, Antti E. J. Hyvärinen, Martin Blicha
Publication date: 24 November 2023
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-17462-0_1
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Interpolation, preservation, definability (03C40)
Related Items (3)
Unnamed Item ⋮ Farkas-based tree interpolation ⋮ Syntax-guided synthesis for lemma generation in hardware model checking
This page was built for publication: Decomposing Farkas Interpolants
