Affine Loop Invariant Generation via Matrix Algebra
Authors: Yucheng Ji, Hongfei Fu, Bin Fang and Haibo Chen
Paper Information
| Title: | Affine Loop Invariant Generation via Matrix Algebra |
| Authors: | Yucheng Ji, Hongfei Fu, Bin Fang and Haibo Chen |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | Loop Invariant Generation, Farkas' Lemma, Matrix Algebra |
| Pages: | 21 |
| Talk: | Aug 07 16:20 (Session 92A: Software Verification and Model Checking) |
| Paper: |  |