×

Found 2 Documents (Results 1–2)

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
Full Text: DOI

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
Full Text: DOI Link

Filter Results by …

Year of Publication

Main Field

all top 3

Software