Günther, Henning; Laarman, Alfons; Sokolova, Ana; Weissenbacher, Georg Dynamic reductions for model checking concurrent software. (English) Zbl 1484.68102 Bouajjani, Ahmed (ed.) et al., Verification, model checking, and abstract interpretation. 18th international conference, VMCAI 2017, Paris, France, January 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10145, 246-265 (2017). MSC: 68Q60 68N19 68N30 PDFBibTeX XMLCite \textit{H. Günther} et al., Lect. Notes Comput. Sci. 10145, 246--265 (2017; Zbl 1484.68102) Full Text: DOI arXiv
Kroening, Daniel; Weissenbacher, Georg Verification and falsification of programs with loops using predicate abstraction. (English) Zbl 1215.68130 Formal Asp. Comput. 22, No. 2, 105-128 (2010). MSC: 68Q60 PDFBibTeX XMLCite \textit{D. Kroening} and \textit{G. Weissenbacher}, Formal Asp. Comput. 22, No. 2, 105--128 (2010; Zbl 1215.68130) Full Text: DOI HAL