Affine Disjunctive Invariant Generation with Farkas' Lemma.

Wed, 01 Jan 2025 00:00:00 +0100

Jingyu Ke , Hongfei Fu , Hongming Liu , Zhouyue Sun, Liqian Chen , Guoqiang Li :
Affine Disjunctive Invariant Generation with Farkas' Lemma. VMCAI (1) 2025: 187-213