iSAQB® FM - Formal Methods Certification

Software runs critical systems everywhere: medical devices, financial platforms, industrial controls, digital infrastructure. In these contexts, conventional testing often isn't enough. Tests cover specific scenarios, but no test suite can reach every possible state of a complex system. Formal methods go further: they use mathematical models to prove that a system meets its requirements under all conditions.

The iSAQB CPSA Advanced Level module FM - Formal Methods shows you how to apply these techniques in practice. You learn how to specify system requirements with mathematical precision, design architectures that are amenable to formal verification, and use tools such as model checkers and SMT solvers. One key point: formal methods only work when they're built into the architecture from the start, not added after the fact.

The training is aimed at software architects and experienced developers working in demanding or regulated environments. Prior experience with formal mathematics is not required, but a completed CPSA Foundation certification and hands-on development experience are expected.

Over three days, you connect theory with practice: you understand the foundations of formal logic, work through real examples from safety-critical systems, and learn how formal methods fit into existing development workflows. That makes this a practical, applicable course, not just an academic exercise.

For all iSAQB Advanced Level modules and the path to CPSA-A certification, visit our iSAQB overview page.

• You understand why formal methods matter in safety-critical systems and where they make sense in practice.
• You can specify system requirements with mathematical precision.
• You can create formal models for software systems.
• You know how to design architectures that are amenable to formal verification.
• You can apply verification techniques such as model checking and SMT solving.
• You can select and use the right tools for formal analysis.
• You understand how to integrate formal methods into existing development processes.

The FM - Formal Methods module is part of the iSAQB CPSA Advanced Level. There is no separate module exam. Instead, you earn credit points that count toward the Certified Professional for Software Architecture - Advanced Level (CPSA-A) designation.

The FM module gives you 30 credit points across three competency areas:

• 10 points: Technological Competence (TECH)
• 10 points: Methodical Competence (METHOD)
• 10 points: Communicative Competence (COMM)

To complete the CPSA-A certification, you need at least 70 credit points from recognized Advanced Level modules, plus a passing grade in a written final exam. The exam is administered by an accredited certification body, independent of the training provider.

Full details on the official requirements are available on the iSAQB FM module page.