Girol, Guillaume; Farinier, Benjamin; Bardin, Sébastien Not all bugs are created equal, but robust reachability can tell the difference. (English) Zbl 1493.68109 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 669-693 (2021). MSC: 68N30 03B44 68Q60 PDFBibTeX XMLCite \textit{G. Girol} et al., Lect. Notes Comput. Sci. 12759, 669--693 (2021; Zbl 1493.68109) Full Text: DOI
Chihani, Zakaria; Marre, Bruno; Bobot, François; Bardin, Sébastien Sharpening constraint programming approaches for bit-vector theory. (English) Zbl 1489.68249 Salvagnin, Domenico (ed.) et al., Integration of AI and OR techniques in constraint programming. 14th international conference, CPAIOR 2017, Padua, Italy, June 5–8, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10335, 3-20 (2017). MSC: 68T20 68Q60 68V15 PDFBibTeX XMLCite \textit{Z. Chihani} et al., Lect. Notes Comput. Sci. 10335, 3--20 (2017; Zbl 1489.68249) Full Text: DOI Link