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.
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: