SCT Student Projects - Sebastian Groessl

The goal is to be able to slice Spec# programs extracting code that led to a verification error. Since Spec# programmers shouldn't be required to know anything about BoogiePL it wouldn't make sense to present them the sliced BoogiePL code. Instead, code in their original Spec# program should be shown.