Prepare for printing     
Johannes Kepler University Linz
Institute for Formal Models and Verification

 Contact data
StreetAltenbergerstrasse 69 
ZIP, City, Region 4040 - Linz (Upper Austria) 
EmailSend Email
 Contact person

Univ. Prof. Dr. Armin Biere (Head of Institute)
 Employees (Total)
Total: 1-10  number of researches: 6

 Central aim of organisation
Develop new Formal Verification and Testing Technology.

 Briefly describe your organisation
The Institute for Formal Models and Verification is concerned
with the application of Formal Methods in a very broad sense to the design,
optimization, testing, debugging and verification of computer systems.

We provide efficient solutions and tools based on mathematical techniques to
specific engineering problems in the context of software, hardware and related areas.

 Core Competency

Research & Development

 ICT sectors:
   - Industrial Application     
   - Software Engineering and Testing     
   - Semantic Systems     
   - Artificial Intelligence     
   - Integrated Circuits     
   - Embedded Systems and Real-time Systems     

 ICT keywords
Formal verification
 RTD Experiences & Publications

 My organisation has been involved in projects funded by the following EU-programmes
  Coordinator  Partner 
Other international co-operative research

 Austrian Research and Development Projects
  Coordinator  Partner 
Cooperative Projects
Education Projects (Thesis, ..)

 Inserted / Updated
2004-10-19 / 2016-05-10