Welcome at the Institute for Formal Models and Verification (FMV)!

We develop Methods and Tools for the Verification, Modelling, Testing and Debugging of Software and Hardware.

We contribute to the research and development of tools for automated reasoning.  This topic stretches from logic, over artificial intelligence to applications and particularly includes support for the development of software and hardware. Our SAT, SMT and QBF solvers are world-renowned and rank at the top of international competitions. Our goal in teaching is to provide the basic and advanced knowledge to apply logic in all fields of computer science and beyond.

More information can be found at http://fmv.jku.at.


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


Informatikgebäude (Science Park 3), Level 2, Room 250


Mo: 10.00 - 15:00
Tu: 10.00 - 12.00
Thu: 10.00 - 15:00
+43 732 2468 4540