SCT Student Projects - Karin Freiermuth

Error understanding in Boogie using program slicing. In addition to program slicing we take advantage of the failed verification condition and the theorem prover. The combination of all of them may turn program slicing into an attractive technique to improve error localization in Boogie.