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

We develop methods and tools to support verification, modelling, testing and debugging software and hardware.

We contribute to research and developing tools to support automated reasoning.  The topic ranges from logic and artificial intelligence to applications, particularly to support the development of software and hardware. Our SAT, SMT and QBF solvers are world-renowned and rank at the top of international competitions. Our educational goal is to provide both a basic and advanced understanding to be able to apply logic in all fields of computer science and beyond.

See: http://fmv.jku.at, opens an external URL in a new window to learn more.

Institute for Formal Models and Verification


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


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

Office Hours

Mon: 10.00 AM - 3:00 PM
Tues: 10.00 AM - 12.00 PM
Thurs: 10.00 AM - 3:00 PM
+43 732 2468 4540