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 to learn more, opens an external URL in a new window.

Our team is currently being rebuilt

Institute for Formal Models and Verification

Address

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

Location

Informatikgebäude (Science Park 3), Level 2, Rooms 248-259

Office Hours

Mon: 10:00 AM - 3:00 PM
Wedn: 13:30 AM - 15:30 PM
Thurs: 10:00 AM - 3:00 PM
+43 732 2468 4540
office.fmv@jku.at