Explore projects
-
Archived 1Updated
-
Implementierung. REPOSITORY WURDE ZUM NEUEN GITLAB MIGRIERT: https://gitlab.kit.edu/uskyk/typicalc
Archived 2Updated -
Dieses Projekt ist archiviert. Die Weiterentwicklung findet auf https://gitlab.kit.edu/kit/kastel/afv/tools/keyjoana statt.
Tools for combining KeY with Joana.
Archived 0Updated -
Dieses Projekt ist archiviert. Die Weiterentwicklung findet auf https://gitlab.kit.edu/kit/kastel/afv/tools/dibugger statt.
Relational Debugger.
Archived 0Updated -
Modified CBMC with loop and recursion over approximation.
Archived 0Updated -
Software to facilitate and/or automate certificate handling within the KIT-CA.
Archived 0Updated -
Archived 0Updated
-
-
This project simplifies testing Assignments from the course Programming 1 at KIT
Dieses Projekt vereinfacht das Testen von Programmieren 1 Übungs- und Abschlussaufgaben
Archived 0Updated