close

Institut für Formale Modelle und Verifikation Institut für Formale Modelle und Verifikation

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.

Adresse

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

Standort

Informatikgebäude (Science Park 3),  2. Stock, Raum 250

Sekretariat

Mo: 10.00 - 15:00 Uhr
Di: 10.00 - 12.00 Uhr
Do: 10.00 - 15:00 Uhr
+43 732 2468 4540
doris.falb@jku.at

404

Hallo. Leider kann unsere Website nicht korrekt angezeigt werden, da sich Ihr Internet-Browser nicht am neuesten Stand befindet.
Hier können Sie Ihren Browser updaten.

Hello. Our website cannot be displayed correctly due to an old browser running on your system.
Update your browser here.