Nonlinear Craig interpolant generation
From MaRDI portal
Publication:2225119
DOI10.1007/978-3-030-53288-8_20zbMath1478.68159arXiv1903.01297OpenAlexW3046796804MaRDI QIDQ2225119
Ting Gan, Naijun Zhan, Liyun Dai, Bican Xia, Bai Xue
Publication date: 4 February 2021
Full work available at URL: https://arxiv.org/abs/1903.01297
Semidefinite programming (90C22) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Interpolation, preservation, definability (03C40)
Related Items (2)
Interpolation and model checking for nonlinear arithmetic ⋮ Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
This page was built for publication: Nonlinear Craig interpolant generation