Winter Term 2015/2016

Course Teacher
Lecture:
Satisfiability Checking
Ábrahám, CorziliusKremer
Softwareprojektpraktikum:
SMT-Solving with EL and UF
ÁbrahámCorziliusKremer
Proseminar:
Algorithms and Tools for Verification
ÁbrahámCorziliusKremerNellen
Seminar:
Selected Topics in Satisfiability Checking
ÁbrahámCorziliusKremerNellen, Schupp
Praktikum:
State set representation techniques for hybrid systems
Ábrahám, Schupp
Praktikum:
Solarturm
Ábrahám, Richter, Frank