Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes
Authors: Ahmed Bouajjani, Wael-Amine Boutglay and Peter Habermehl
Paper Information
| Title: | Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes |
| Authors: | Ahmed Bouajjani, Wael-Amine Boutglay and Peter Habermehl |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | Invariant synthesis, Data-driven methods, Program verification |
| Pages: | 21 |
| Talk: | Aug 07 16:40 (Session 92A: Software Verification and Model Checking) |
| Paper: |  |