FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: