Links
Some links related to the Symbolic Execution Debugger (SED):
Tutorial
SED
KeY