Login / Signup

Scalable linear invariant generation with Farkas' lemma.

Hongming LiuHongfei FuZhiyong YuJiaxin SongGuoqiang Li
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases