iSAQB FMFormal Methods Training
- 30 credit points toward CPSA-A
Fact sheet
- Duration
- 3 days
- Format
- Live online
- Language
- German
- Credit points
- 20 technical and 10 methodical
Price per seat
from€1,800plus VAT
Next date
30 Nov – 2 Dec 2026Live online3 dates
What this course is.
You can prove a property of your system with a tool, not just test examples of it.
- Current curriculum
- 2024.1
- iSAQB · Advanced Level · FM
After the course you can:
- Write specifications in formal logic
- Identify what formal methods can reach
- Introduce formal methods step by step
- Verify properties with a model checker
Dates for this course.
3 dates.
Group discount from 2 seats in one booking, applied automatically at checkout. The highest eligible discount applies.
November 2026
1 date, Live online, German
- Mon–Wed–CET
Online
From 2 seats in one booking- Format
- Live, instructor-led
- Language
- German
- Trainer
- Dr. Michael Sperber
- Seats
- 5+ seats left
Early birdCurrent price €1,935/ seat
Regular price
€2,150Save €215plus VAT
April 2027
1 date, Live online, German
Mon–WedTo be announcedOnline
From 2 seats in one booking- Format
- Live, instructor-led
- Language
- German
- Trainer
- Dr. Michael Sperber
- Seats
- Available
Early birdCurrent price €1,800/ seat
Regular price
€2,000Save €200plus VAT
November 2027
1 date, Live online, German
Tue–ThuTo be announcedOnline
From 2 seats in one booking- Format
- Live, instructor-led
- Language
- German
- Trainer
- Dr. Michael Sperber
- Seats
- Available
Early birdCurrent price €1,800/ seat
Regular price
€2,000Save €200plus VAT
Prices are per seat and exclude VAT (value-added tax). Hours are in Central European Time (CET or CEST) unless a date says otherwise.
Looking for an inhouse FM training for your team? Ask us.
Is this the right course for you?
Who it's for
If one of these four describes your work, you are in the right room.
- You design systems where a wrong result is not an option.
- You answer for software that controls hardware or moves money.
- You need more assurance than a suite of example tests gives.
- You decide where in a design verification effort belongs.
Prerequisites
Recommended- Mathematics:
Basic knowledge of algebra and of logic
- Helpful:
Functional programming, equational reasoning over programs and programming-language semantics make some of the concepts easier
What the course covers.
The topics follow the iSAQB FM curriculum 2024.1. Your trainer works through them live with the group.
- Logic
- Specification and Implementation
- Formal Methods and the Development Process
- Tools
After the course you can
- Read and write specifications in propositional and predicate logic
- Separate formal specifications from specifications by example
- Compare three specification languages and what each can express
- Identify which parts of a system formal methods can reach
- Weigh a formal method's expressiveness against the effort it costs
- Introduce formal methods gradually via static typing and property tests
- Verify properties with model checking, SMT solvers or proof assistants
- Predict a program's dynamic behaviour with abstract interpretation
How the training works.
- Before the date
Before the course
Before the Albion FM course you receive the materials and either the joining details or the address of the venue.
- Day 1Day 2Day 3
The course days
The course days follow the same programme online and on site; the times are on the date you booked.
- After the courseCredit points and certificate
After the course
From 80 percent attendance you get the Albion certificate of participation; the credit points count toward CPSA-A admission.
Credit points, and the certificate you take home.
Certificate of participation
Albion- To receive it
- At least 80% of the course time attended
Credit points
iSAQB30 credit points toward CPSA-A
This course has no exam.
- Technical
- 20 credit points
- Methodical
- 10 credit points
- Communicative
- 0 credit points
What you still need for CPSA-A
This course contributes 30 of the 70 credit points required. Your total across modules must include at least 10 points in each area.
You also need the CPSA-F (Foundation) certificate; the official rules cover the remaining eligibility and assessment requirements.
Why book with Albion.
Every promise here is one the Terms can be held to, on every course.
Verified digital certificate
Public verification pageEvery certificate Albion issues has a public verification page, and the certificate showroom shows a sample of each one.
See the certificate showroomAccredited trainers who work as architects
iSAQB accreditationYour trainers are accredited iSAQB trainers who work as architects, so the exercises come from systems they have built.
Who teaches this course.
Accredited for this course.
Related modules.
Formal Methods adds 20 technical and 10 methodical points toward CPSA-A. Communicative is still open.
- Technical
- 20Minimum of 10 met
- Methodical
- 10Minimum of 10 met
- Communicative
- 0Open: minimum is 10
This course only. Your previous modules are not included. CPSA-A requires 70 points, at least 10 in each area, plus the Foundation certificate.
Modules that add communicative points
- SOFTSoft Skills for Architects0 technical, 0 methodical, and 30 communicative points24 Nov2026from €1,98024 Nov 2026
- AGILAAgile Software Architecture0 technical, 20 methodical, and 10 communicative points2 Mar2027from €1,9802 Mar 2027
- DDDDomain-Driven Design0 technical, 20 methodical, and 10 communicative points24 Nov2026from €1,98024 Nov 2026
- REQ4ARCRequirements for Software Architects0 technical, 20 methodical, and 10 communicative points1 Dec2026from €1,9801 Dec 2026
Questions before you book.
Credit points and certificate
The Albion FM course has no exam and earns CPSA-A credit points. Certification involves an assignment and an oral exam assessed by experts appointed by the iSAQB, after all admission requirements have been met.
The Albion FM course carries 30 credit points under the iSAQB FM curriculum 2024.1: 20 in the technical area of competence, 10 in the methodical area and none in the communicative area.
For the Albion FM course you receive the Albion certificate of participation from 80% attendance, with a public verification page. It depends on attendance, not on an exam.
The course
You need no CPSA-F certification for the Albion FM course. Curriculum 2024.1 expects basic knowledge of algebra and logic; a passed Foundation exam is one of the requirements for CPSA-A certification.
The Albion FM course is not only for safety-critical software. The curriculum names hardware control, sensitive data and revenue-critical calculations, and works out which parts of a system formal methods can reach.
The Albion FM course asks for no prior tool experience. The curriculum's Tools chapter covers property-based testing, type systems, model checking, proof assistants, SMT solvers and abstract interpretation.
The Albion FM course follows the same programme online and on site.
Booking and price
The Albion FM course offers a group discount for several seats in one booking. Whether it applies to a date, and from how many seats, is shown on the date's row and at checkout.
Your question is not here? Ask us
Next step
Ready to book?
3 dates, next on 30 Nov – 2 Dec 2026, from €1,800 plus VAT.