NIL: Learning Nonlinear Interpolants

no code implementations • 28 May 2019 • Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan

Nonlinear interpolants have been shown useful for the verification of programs and hybrid systems in contexts of theorem proving, model checking, abstract interpretation, etc.

Automated Theorem Proving