The right tool is essential for getting the job at hand done.  We complement our expertise with open-source software tools, based on current research and tailored for industrial use.  Eclipse, the foundation of our tools, is a software platform originally developed by IBM.  Today, Eclipse is managed by the non-profit Eclipse Foundation.  Eclipse has over 50 million lines of code and hundreds of active commiters.  With this, it is a solid foundation for powerful desktop software.

ReqIF Studio

ReqIF Studio is the foundation for our offerings, and currently represents a powerful tool for requirements management. ReqIF Studio, and all related tools, are now available at

Open Source

Our software platforms started off as academic projects in which we were involved. We believe that open source fosters innovation.  We benefit as our work attracts contributors from all over the world.  Our customers benefit from the expanded community and can collaborate with other service providers apart from Formal Mind.

Based on Research

Our ties to Heinrich Heine University and the constantly evolving research happening within it’s halls mean that our tools are evaluated against and tested with cutting edge approaches that keep them ahead of commercial products that are typically based on established age-old methods.

Industrial Tailoring

Academic software sometimes has the reputation of not being user friendly, scalable or maintainable.  As we are actively involved in the development of these projects, we pay attention to aspects like software architecture, development infrastructure, documentation, etc., to ensure that the projects have the desired quality.  In addition, we can tailor the tools to meet our customers’ needs thereby further improving usability.