Uni-Logo
English       Login
Professur für Betriebssysteme
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Verifikation
Automatisierte Verifikationstechniken bei unvollständiger Information (gefördert durch die DFG, in Kooperation mit der Professur für Rechnerarchitektur)
AVACS: Automatic Verification and Analysis of Complex Systems Sonderforschungsbereich/Transregio gefördert durch die DFG
FEST - Funktionale Verifikation von Systemen (gefördert im Rahmen der BMBF-Förderinitiative Ekompass, in Kooperation mit der Professur für Rechnerarchitektur)
Lösen von Abhängigkeitsquantifizierten Booleschen Formeln (DQBF) gefördert durch die DFG, in Kooperation mit der Professur für Rechnerarchitektur, Uni Freiburg
VALSE-XT (Förderschwerpunkt EkompaSS des BMBF, gemeinsam mit der Professur für Rechnerarchitektur)
VerA: Vollautomatische Formale Verifikation Arithmetischer Schaltkreise (gefördert durch die DFG, in Kooperation mit der Arbeitsgruppe Rechnerarchitektur, Universität Bremen und dem Institut für Complex Systems, Johannes Kepler Universität Linz)

E-Learning
Winfoline

Echtzeitbetriebssysteme
Graduiertenkolleg Eingebettete Mikrosysteme Teilprojekt: Erzeugung minimaler Echtzeitbetriebssysteme für eingebettete Mikrosysteme