Sorcar: property-driven algorithms for learning conjunctive invariants. (English) Zbl 1539.68071
Chang, Bor-Yuh Evan (ed.), Static analysis. 26th international symposium, SAS 2019, Porto, Portugal, October 8–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11822, 323-346 (2019).