Bouajjani, Ahmed; Boutglay, Wael-Amine; Habermehl, Peter Data-driven numerical invariant synthesis with automatic generation of attributes. (English) Zbl 1514.68124 Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13371, 282-303 (2022). MSC: 68Q60 68N30 68T05 PDFBibTeX XMLCite \textit{A. Bouajjani} et al., Lect. Notes Comput. Sci. 13371, 282--303 (2022; Zbl 1514.68124) Full Text: DOI arXiv
Fedyukovich, Grigory; Kaufman, Samuel J.; Bodík, Rastislav Learning inductive invariants by sampling from frequency distributions. (English) Zbl 1506.68054 Form. Methods Syst. Des. 56, No. 1-3, 154-177 (2020). MSC: 68Q60 68N30 68Q32 68Q42 PDFBibTeX XMLCite \textit{G. Fedyukovich} et al., Form. Methods Syst. Des. 56, No. 1--3, 154--177 (2020; Zbl 1506.68054) Full Text: DOI
Neider, Daniel; Madhusudan, P.; Saha, Shambwaditya; Garg, Pranav; Park, Daejun A learning-based approach to synthesizing invariants for incomplete verification engines. (English) Zbl 1468.68074 J. Autom. Reasoning 64, No. 7, 1523-1552 (2020). MSC: 68N30 68P05 68Q60 68T05 PDFBibTeX XMLCite \textit{D. Neider} et al., J. Autom. Reasoning 64, No. 7, 1523--1552 (2020; Zbl 1468.68074) Full Text: DOI arXiv