Kammerjäger
Kammerjäger is a debugging tool with integrated correctness proving.
...The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes it even easier to write your code and find errors.
This project has been developed during a University project called PSE ("Praxis der Softwareentwicklung" / "practical experience in software developement") at the Karlsruhe Institute of Technology (KIT) by Andreas Eberle, Nicolas Loza, Olga Plisovskaya, Andreas Waidler and Michael Zangl.
Other Projects and pages of the team's members:
www.settlers-android-clone.com (by Andreas Eberle and Michael Zangl)
www.andreas-eberle.com