New CPSA-Advanced Level Module Formal Methods (FM) published
The iSAQB has introduced the new Advanced Level module Formal Methods (FM). There are 19 CPSA-Advanced Level modules available now. The curriculum is available in English.
The module FM introduces formal methods as an addition and alternative to traditional architectural approaches, enabling mathematical proofs of key system properties. However, such proofs must be integrated from the start and not added later. Unlike common automated testing methods, formal methods demand significantly more effort, including careful selection of specification and programming languages. Architects must define critical properties mathematically, design architectures that support verification, and rigorously prove these properties, requiring deep architectural expertise.
Participants receive 10 credit points each in technological, methodical, and communicative competence for successful participation in this module. As usual, these 30 credit points can be used for a subsequent certification examination to become a Certified Professional of Software Architecture at the Advanced Level.
Further information on the new module FM and the curriculum can be found here.
The first training dates will be published soon in our training calendar.
