"The Boogie Verification Debugger (Tool Paper)."

Claire Le Goues, K. Rustan M. Leino, Michal Moskal (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics