Willkommen am Institut für Formale Modelle und Verifikation (FMV)!

Wir entwicklen Werkzeuge und Verfahren zur Verifikation, Modellierung, dem Testen und Debugging von Hardware und Software.

Die Erforschung und Bereitstellung von Werkzeugen zum Automatischen Schließen ist unsere Hauptaufgabe. Dieses Gebiet erstreckt sich von der Logik, über die Künstliche Intelligenz bis zu Anwendungen und umfasst insbesondere die Unterstützung zur Entwicklung von Software und Hardware. Unsere SAT, SMT und QBF Solver sind weltweit bekannt und erzielen unzählige Preise in internationalen Wettbewerben. In der Lehre ist es unser Ziel, sowohl grundlegendes wie auch vertiefendes Wissen zur breiten Anwendung von Logik in der Informatik und darüber hinaus  zu vermitteln.

Weitere Informationen finden Sie unter http://fmv.jku.at, öffnet eine externe URL in einem neuen Fenster.

Unser Team 2025 befindet sich im Aufbau.

Institut für Formale Modelle und Verifikation

Adresse

Johannes Kepler Universität Linz
Altenberger Straße 69
4040 Linz

Standort

Informatikgebäude (Science Park 3),  2. Stock, Räume 248-259

Sekretariatöffnungszeiten:

Mo: 10.00 - 15:00 Uhr
Mi: 13:30 - 15.30 Uhr
Do: 10.00 - 15:00 Uhr
+43 732 2468 4540
office.fmv@jku.at