Publication:4997234
From MaRDI portal
zbMath1464.68204arXiv1303.7378MaRDI QIDQ4997234
Andrey Rybalchenko, Ashutosh Gupta, Corneliu Popeea
Publication date: 28 June 2021
Full work available at URL: https://arxiv.org/abs/1303.7378
68Q60: Specification and verification (program logics, model checking, etc.)
03C40: Interpolation, preservation, definability
Related Items
Labelled interpolation systems for hyper-resolution, clausal, and local proofs, On recursion-free Horn clauses and Craig interpolation