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,935plus VAT

Next date

30 Nov – 2 Dec 2026Live onlinethe only date

In-house for your teamChoose a date
About the course

What this course is.

A passing test says the examples it ran worked. FM is about the other kind of assurance: you state a property of the system in logic, design an architecture that can ensure it, and verify it with model checking, SMT solvers, proof assistants or abstract interpretation. The module also works out where formal methods apply and where they do not.

FM has no exam of its own. Attendance earns credit points toward CPSA-A admission; that certification is assessed separately, by an assignment and an oral exam.

iSAQB curriculum
2024.1
Advanced Level
FM
Dates

Every scheduled date for this course.

1 date.

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

    Format
    Live online
    Language
    German
    Your trainers
    To be announced
    Group discount
    Early bird

    Current price €1,935

    Regular price €2,150Save €215

    per seat, plus VAT

    Seats: 5+ left

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 in-house FM training for your team? Ask us.

Before you book

Is this the right course for you?

Who it's for

  • 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

The curriculum expects basic knowledge of algebra and basic knowledge of logic.

Functional programming, equational reasoning over programs and programming-language semantics help with some of the concepts.

Curriculum, 4 topics

What the course covers.

The topics follow the iSAQB FM curriculum 2024.1. Your trainer works through them live with the group.

  1. Logic
  2. Specification and Implementation
  3. Formal Methods and the Development Process
  4. 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.

  1. Before the course

    Before the Albion FM course you receive the materials and either the joining details or the address of the venue.

  2. The course days

    The course days follow the same programme online and on site; the times are on the date you booked.

  3. After the course

    From 80 percent attendance you get the Albion certificate of participation; the credit points count toward CPSA-A admission.

After this course

Credit points, and the certificate you take home.

Certificate of participation

To receive it
At least 80% of the course time attended
The certificate, shown in English

Credit points

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

Official CPSA-A requirements

Why book with Albion.

Every promise here is one the Terms can be held to, on every course.

  • Verified digital certificate

    Every certificate Albion issues has a public verification page, and the certificate showroom shows a sample of each one.

    See the certificate showroom

  • Accredited trainers who work as architects

    Your trainers are accredited iSAQB trainers who work as architects, so the exercises come from systems they have built.

Related modules.

  1. You are here

    iSAQB FM Formal Methods Training

    Credit points from this course

    Technical
    20
    Methodical
    10
    Communicative
    0

    This course only. Your previous modules are not included.

  2. Explore related modules

    This list has 8 modules.

    CPSA-A requires 70 points, at least 10 in each area, plus the Foundation certificate.

Questions before you book.

Does FM have an exam of its own?

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.

How many credit points does FM carry?

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.

Do I need CPSA-F to attend FM?

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.

What do I get for attending?

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.

Does FM run differently online and on site?

The Albion FM course follows the same programme online and on site.

Is there a discount for several seats?

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.

Do I need to know a proof tool already?

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.

Is FM only for safety-critical software?

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.

Your question is not here? Ask us

Next step

Ready to book?

One date, on 30 Nov – 2 Dec 2026, from €1,935 plus VAT.

Choose a dateIn-house for your team