The right tools are essential for getting the job at hand done.  We complement our expertise with software tools that are open source, based on current research, and tailored for industrial use.

Our portfolio currently consists of ProB, a formal validation platform, and ProR, a platform for requirements engineering.

ProB

ProB is an animator and model checker for the B-Method. It provides fully automatic animation of many B specifications and can be used to systematically check a specification for a range of errors. The constraint-solving capabilities of ProB can also be used for model finding, deadlock checking and test-case generation.

ProB is an OpenSource project that is located at the Heinrich-Heine University of Düsseldorf.  The creator of ProB, Prof. Dr. Michael Leuschel, is on the management board of Formal Mind.  We have the expertise to tailor and extend ProB according to meet our customers' needs.

ProR

ProR is a tool for requirements engineering that supports the ReqIF 1.0.1 Standard natively.  It consists of a powerful, scalable user interface for working with natural language requirements.  It can easily be integrated with other Eclipse-based tools.

ProR is part of the Requirements Modeling Framework (RMF), an Eclipse Foundation project.  The creator of ProR, Dipl.-Ing. Michael Jastram, is on the management board of Formal Mind.  We have the expertise to tailor and extend ProR according to our customer's needs.

BMotionStudio

BMotionStudio is a visual editor which enables the developer of a formal model to easily setup a domain specific visualization to discuss it with the domain expert. BMotion Studio frees the user from needing to write code and allows the user to create the visualization on the "look and feel" principle.  BMotionStudio was created and is maintained by Formal Mind employee Lukas Ladenberger.

Open Source

Our software platforms started off as academic projects we were involved with. We believe that open source fosters innovation.  Using open source benefits us since our work attracts contributors from all over the world.  Using open source brings our customers benefits because they benefit from a large community and can collaborate with other service providers apart from Formal Mind.

Based on Research

Formal Mind has strong ties with the Heinrich-Heine University of Düsseldorf, and our software platforms are the result of academic research.  This means 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 approaches that have been around for a while.

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 customer's needs thereby improving useability further.