We sure don't argue with this assessment. :)
See for yourself at TACAS in Prague: conf.researchr.org/event/eta…
ALT This paper, as well as the tool, fills the gap and presents a robust implementation based on LLVM. - Reviewer #2
ALT This paper, as well as the tool, fills the gap and presents a robust implementation based on LLVM. - Reviewer #2