Slot Tool

This is a HHU funded project where we are checking that the student timetables at the University respect the legal requirements concerning study duration. E.g., in the Faculty of Philosophy, a student must be able to study every combination of major subject (Kernfach) and minor subject (Ergänzungsfach) within six semesters. This project will use ProB's constraint solving capabilities to check those requirements and also enable adapting and optimising the timetables.

Thales Formal RBC

This is a collaborative research project between Thales Germany and HHU. The full title is "Software Architecture for Effective Parametric Verification and Validation of an RBC System".

Responsible for the content: E-MailWE Informatik