Affine Disjunctive Invariant Generation with Farkas' Lemma.

Jingyu Ke, Hongfei Fu, Hongming Liu, Zhouyue Sun, Liqian Chen, Guoqiang Li

Browse the full VMCAI paper archive.