Kammerjäger
Kammerjäger is a debugging tool with integrated correctness proving.
... 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