Website for the seminar "Symbolic Execution"