Requirements with Formal Methods

T03: Formal Methods for Safety

An overview of formal methods in the context of standards like IEC 61508 or ISO 26262.  This course helps decision makers to understand where the use of formal methods can make sense, and provides technical staff with a high-level overview on what methods are available. The focus is on modeling of requirements, as here the benefit is typically the highest.

Full description

Interested? Contact us for a quote.

We perform the training at your facilities. Training at your site means that you can participate with as many people as you like, and nobody wastes time traveling.

Pick Your Modules

To make the training relevant to you, you can pick 6-8 modules for a one-day training. The following modules are available:

  • TBD

Leave a Reply