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.
Research & Development
| - Industrial Application |
- Software Engineering and Testing
- Semantic Systems
| - Artificial Intelligence |
- Integrated Circuits
- Embedded Systems and Real-time Systems