Program analysis: KeY verification tool

If you are curious about tools for program analysis which have similarities to the program logic used in the course, please have a look to the KeY tool.

https://www.key-project.org/

You can also read interesting results about a bug that was found in the TimSort algorithm using KeY.

http://www.envisage-project.eu/proving-android-java-and-python-sorting-algorithm-is-broken-and-how-to-fix-it/