Exams

Prof. Ábrahám offers oral exams for Bachelor-, Diploma-, and Master-Students. Lectures are “(Introduction to) Satisfiability Checking” and “Modeling and Analysis of Hybrid Systems”. A combination with lectures of Prof. Katoen and Prof. Giesl is always possible; other combinations need distinct consultation.