For your Industrial Project

Evaluate the Suitability of a Formal Method

The quality of software and its development processes can be considerably enhanced by using formal engineering methods. Formal methods can be introduced gradually, in customisable ways, with less effort for a start than many will assume. There exist many different methods, each of which suitable for certain project types, settings, and quality goals. But how do you choose the right method for your company or project?

Evaluation criteria and tables

Different criteria can be relevant for selecting the most promising method:

  • The problem domain and domain-specific requirements;
  • Development phases which shall be supported;
  • Technical constraints (including tool support);
  • Usability and other social criteria (like general understandability, training effort, or collaboration);
  • Existing industrial experience, scalability, standardisation, licensing.

We offer a comprehensive, structured list of evaluation criteria for formal methods, including comparison tables of the most important model-based methods, in the following technical report which you can download for free:

Our offer:

The RSE team of the SCCH can help you

  • To introduce you to the benefits of formal methods, especially model-based methods with reusable models
  • To select an appropriate method and methodology
  • To get started with using formal methods
  • To conduct case studies in the frame of a running or planned project