{"id":52936,"date":"2026-03-02T09:10:02","date_gmt":"2026-03-02T08:10:02","guid":{"rendered":"https:\/\/www.itech-progress.com\/isaqb-advanced-level\/isaqb-formal-methods\/"},"modified":"2026-05-04T15:37:10","modified_gmt":"2026-05-04T13:37:10","slug":"isaqb-formal-methods","status":"publish","type":"page","link":"https:\/\/www.itech-progress.com\/en\/isaqb-advanced-level\/isaqb-formal-methods\/","title":{"rendered":"iSAQB Formal Methods"},"content":{"rendered":"

[et_pb_section fb_built=”1″ fullwidth=”on” _builder_version=”4.16″ global_colors_info=”{}”][et_pb_fullwidth_header title=”iSAQB CPSA Advanced Level Module FM” subhead=”Formal methods ensure correct software behavior beyond testing.” _builder_version=”4.27.6″ title_font=”|700|||||||” content_quote_border_color=”#444444″ subhead_font=”|700|||||||” subhead_text_align=”left” subhead_font_size=”28px” subhead_line_height=”2em” content_quote_font=”|600|||||||” content_quote_text_color=”#444444″ content_quote_font_size=”22px” content_quote_line_height=”0.9em” background_enable_color=”off” background_image=”https:\/\/www.itech-progress.com\/wp-content\/uploads\/2026\/03\/Formale_Methoden.png” parallax=”on” custom_padding=”100px||100px||true|false” custom_padding_tablet=”” custom_padding_phone=”60px||40px||false|false” custom_padding_last_edited=”on|phone” hover_enabled=”0″ title_font_size_tablet=”35px” title_font_size_phone=”35px” title_font_size_last_edited=”on|desktop” title_line_height_tablet=”1em” title_line_height_phone=”1em” title_line_height_last_edited=”on|phone” subhead_font_size_tablet=”21px” subhead_font_size_phone=”21px” subhead_font_size_last_edited=”on|tablet” subhead_line_height_tablet=”” subhead_line_height_phone=”1em” subhead_line_height_last_edited=”on|desktop” content_quote_font_size_tablet=”18px” content_quote_font_size_phone=”18px” content_quote_font_size_last_edited=”on|desktop” content_quote_line_height_tablet=”” content_quote_line_height_phone=”1em” content_quote_line_height_last_edited=”on|desktop” global_colors_info=”{}” title_font_size=”40px” sticky_enabled=”0″]<\/p>\n

Format: Online Training<\/strong>
Duration: 3 days<\/strong><\/p>\n

[\/et_pb_fullwidth_header][\/et_pb_section][et_pb_section fb_built=”1″ disabled_on=”off|off|on” _builder_version=”4.27.4″ _module_preset=”default” global_colors_info=”{}”][et_pb_row _builder_version=”4.27.4″ _module_preset=”default” locked=”off” global_colors_info=”{}”][et_pb_column type=”4_4″ _builder_version=”4.27.4″ _module_preset=”default” global_colors_info=”{}”][et_pb_button button_url=”#Termine_FUNAR_DE” button_text=”Directly to the dates” button_alignment=”center” _builder_version=”4.27.4″ custom_button=”on” button_text_size=”22px” button_text_color=”#ffffff” button_bg_color=”#fa870d” button_border_width=”0px” button_letter_spacing=”0px” button_font=”|600|||||||” button_icon=”||fa||400″ button_icon_color=”#ffffff” button_icon_placement=”left” button_on_hover=”off” custom_margin=”-4px||9px||false|false” custom_padding=”4px|20px|4px|40px|false|false” locked=”off” global_colors_info=”{}” button_bg_color__hover_enabled=”on|hover” button_bg_enable_color__hover=”on” button_bg_color__hover=”#fa870d”][\/et_pb_button][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_row column_structure=”1_2,1_2″ _builder_version=”4.27.0″ _module_preset=”default” locked=”off” global_colors_info=”{}”][et_pb_column type=”1_2″ _builder_version=”4.27.0″ _module_preset=”default” global_colors_info=”{}”][et_pb_text module_id=”Termine_CPSA-F_DE” _builder_version=”4.27.4″ text_font=”|600|||||||” text_text_color=”#fa870d” text_font_size=”29px” header_font=”|600|||||||” header_text_color=”#fa870d” header_2_font=”|600|||||||” header_2_text_color=”#fa870d” custom_margin=”||5px||false|false” custom_padding=”||||false|true” locked=”off” global_colors_info=”{}”]<\/p>\n

Maintainability and scalability through functional architecture principles!<\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”4.27.6″ header_2_font=”|600|||||||” header_2_text_color=”#fa870d” text_orientation=”justified” global_colors_info=”{}”]<\/p>\n

Software systems increasingly control many aspects of our lives, making their security ever more important\u2014in a dual sense: security concerning life, health, or mission-critical areas, and security against intrusions, sabotage, and data leaks. For such software, we want it to reliably meet specific requirements. Simple testing is not sufficient, as it usually covers only certain scenarios\u2014we want the software to behave correctly in all scenarios. This requires the application of mathematical techniques\u2014so-called formal methods\u2014which were previously a gap in the Advanced training portfolio that we have now closed.<\/p>\n

[\/et_pb_text][et_pb_text module_id=”Termine_CPSA-F_DE” _builder_version=”4.27.4″ text_font=”|600|||||||” text_text_color=”#fa870d” text_font_size=”29px” header_font=”|600|||||||” header_text_color=”#fa870d” header_2_font=”|600|||||||” header_2_text_color=”#fa870d” custom_margin=”||5px||false|false” custom_padding=”||||false|true” locked=”off” global_colors_info=”{}”]<\/p>\n

What to Expect<\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”4.27.6″ header_2_font=”|600|||||||” header_2_text_color=”#fa870d” text_orientation=”justified” global_colors_info=”{}”]<\/p>\n

The “FM \u2013 Formal Methods” module teaches software architects how to ensure the correctness of a system\u2019s design and implementation through mathematical proofs. The module focuses on safety-critical, sensitive, or economically vital systems and goes beyond traditional architecture and testing methods by providing formal techniques to verify that software meets its requirements. By integrating formal methods early in the design phase, architects can create verifiable models that ensure a higher level of software quality and reliability.<\/p>\n

[\/et_pb_text][et_pb_text module_id=”Termine_CPSA-F_DE” _builder_version=”4.27.4″ text_font=”|600|||||||” text_text_color=”#fa870d” text_font_size=”29px” header_font=”|600|||||||” header_text_color=”#fa870d” header_2_font=”|600|||||||” header_2_text_color=”#fa870d” custom_margin=”||5px||false|false” custom_padding=”||||false|true” locked=”off” global_colors_info=”{}”]<\/p>\n

Technical Requirements<\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”4.27.6″ header_2_font=”|600|||||||” header_2_text_color=”#fa870d” text_orientation=”justified” global_colors_info=”{}”]<\/p>\n

No prior knowledge of mathematics or these technologies is required. Previously attending an iSAQB Advanced training on Functional Software Architecture<\/a> or Domain-Specific Languages<\/a> is not mandatory but can facilitate understanding.<\/p>\n

[\/et_pb_text][et_pb_text module_id=”Termine_CPSA-F_DE” _builder_version=”4.27.6″ text_font=”|600|||||||” text_text_color=”#fa870d” text_font_size=”29px” header_font=”|600|||||||” header_text_color=”#fa870d” header_2_font=”|600|||||||” header_2_text_color=”#fa870d” custom_margin=”||5px||false|false” custom_padding=”||||false|true” locked=”off” global_colors_info=”{}”]<\/p>\n

Content<\/p>\n

[\/et_pb_text][et_pb_blurb use_icon=”on” font_icon=”E||divi||400″ icon_color=”#fa870d” icon_placement=”left” content_max_width=”640px” _builder_version=”4.27.6″ custom_padding=”0px||0px||false|false” locked=”off” global_colors_info=”{}”]Mathematical Foundations[\/et_pb_blurb][et_pb_blurb use_icon=”on” font_icon=”E||divi||400″ icon_color=”#fa870d” icon_placement=”left” content_max_width=”640px” _builder_version=”4.27.6″ custom_padding=”0px||0px||false|false” locked=”off” global_colors_info=”{}”]<\/p>\n

Specification and Implementation<\/p>\n

[\/et_pb_blurb][et_pb_blurb use_icon=”on” font_icon=”E||divi||400″ icon_color=”#fa870d” icon_placement=”left” content_max_width=”640px” _builder_version=”4.27.6″ custom_padding=”0px||0px||false|false” locked=”off” global_colors_info=”{}”]Development Processes with Formal Methods[\/et_pb_blurb][et_pb_blurb use_icon=”on” font_icon=”E||divi||400″ icon_color=”#fa870d” icon_placement=”left” content_max_width=”640px” _builder_version=”4.27.6″ custom_padding=”0px||0px||false|false” locked=”off” global_colors_info=”{}”]<\/p>\n

Concrete Techniques and Tools: Proof Assistants, Model Checking, SMT Solvers<\/p>\n

[\/et_pb_blurb][et_pb_text module_id=”Termine_CPSA-F_DE” _builder_version=”4.27.6″ text_font=”|600|||||||” text_text_color=”#fa870d” text_font_size=”29px” header_font=”|600|||||||” header_text_color=”#fa870d” header_2_font=”|600|||||||” header_2_text_color=”#fa870d” custom_margin=”||5px||false|false” custom_padding=”||||false|true” hover_enabled=”0″ locked=”off” global_colors_info=”{}” sticky_enabled=”0″]Face-to-face training[\/et_pb_text][et_pb_blurb use_icon=”on” font_icon=”E||divi||400″ icon_color=”#fa870d” icon_placement=”left” content_max_width=”640px” _builder_version=”4.27.4″ custom_padding=”0px||0px||false|false” locked=”off” global_colors_info=”{}”]Includes training materials and exercise resources[\/et_pb_blurb][et_pb_blurb use_icon=”on” font_icon=”E||divi||400″ icon_color=”#fa870d” icon_placement=”left” content_max_width=”640px” _builder_version=”4.27.4″ custom_padding=”||0px|||” locked=”off” global_colors_info=”{}”]<\/p>\n

Cold and hot beverages, snacks, and lunch provided on all training days<\/p>\n

[\/et_pb_blurb][et_pb_blurb use_icon=”on” font_icon=”E||divi||400″ icon_color=”#fa870d” icon_placement=”left” content_max_width=”640px” _builder_version=”4.27.4″ custom_padding=”||0px|||” locked=”off” global_colors_info=”{}”]<\/p>\n

Modern, well-equipped, and spacious training rooms for a comfortable learning environment<\/p>\n

[\/et_pb_blurb][et_pb_text module_id=”Termine_CPSA-F_DE” _builder_version=”4.27.6″ text_font=”|600|||||||” text_text_color=”#fa870d” text_font_size=”29px” header_font=”|600|||||||” header_text_color=”#fa870d” header_2_font=”|600|||||||” header_2_text_color=”#fa870d” custom_margin=”||5px||false|false” custom_padding=”||||false|true” hover_enabled=”0″ locked=”off” global_colors_info=”{}” sticky_enabled=”0″]Live-Online-Training[\/et_pb_text][et_pb_blurb use_icon=”on” font_icon=”E||divi||400″ icon_color=”#fa870d” icon_placement=”left” content_max_width=”640px” _builder_version=”4.27.4″ custom_padding=”0px||0px||false|false” locked=”off” global_colors_info=”{}”]Includes training materials and exercise resources[\/et_pb_blurb][et_pb_blurb use_icon=”on” font_icon=”E||divi||400″ icon_color=”#fa870d” icon_placement=”left” content_max_width=”640px” _builder_version=”4.27.4″ custom_padding=”0px||0px||false|false” locked=”off” global_colors_info=”{}”]Visual collaboration using tools such as whiteboarding[\/et_pb_blurb][et_pb_blurb use_icon=”on” font_icon=”E||divi||400″ icon_color=”#fa870d” icon_placement=”left” content_max_width=”640px” _builder_version=”4.27.4″ custom_padding=”0px||0px||false|false” locked=”off” global_colors_info=”{}”]High level of interactivity through tailored exercises and breakout rooms[\/et_pb_blurb][et_pb_blurb use_icon=”on” font_icon=”E||divi||400″ icon_color=”#fa870d” icon_placement=”left” content_max_width=”640px” _builder_version=”4.27.4″ custom_padding=”0px||0px||false|false” locked=”off” global_colors_info=”{}”]Optimal trainer support, even in the breakout rooms[\/et_pb_blurb][\/et_pb_column][et_pb_column type=”1_2″ _builder_version=”4.27.0″ _module_preset=”default” global_colors_info=”{}”][et_pb_text module_id=”Termine_FUNAR_DE” _builder_version=”4.27.4″ text_font=”|600|||||||” text_text_color=”#fa870d” text_font_size=”29px” header_font=”|600|||||||” header_text_color=”#fa870d” header_2_font=”|600|||||||” header_2_text_color=”#fa870d” text_orientation=”center” custom_margin=”||5px||false|false” custom_padding=”||||false|true” locked=”off” global_colors_info=”{}”]Available Dates and Registration[\/et_pb_text][et_pb_shop type=”product_category” include_categories=”830″ columns_number=”1″ show_image=”off” show_rating=”off” module_id=”test_produkt_ro” _builder_version=”4.27.6″ _module_preset=”default” title_font=”||||||||” title_text_align=”center” title_line_height=”1.3em” price_text_align=”center” price_text_color=”#5e5e5e” price_font_size=”18px” custom_margin=”29px|||36px|false|false” custom_margin_tablet=”|||0px|false|false” custom_margin_phone=”|||0px|false|false” custom_margin_last_edited=”on|phone” custom_padding=”16px|||||” animation_style=”fade” locked=”off” global_colors_info=”{}”][\/et_pb_shop][et_pb_text _builder_version=”4.27.4″ text_font_size=”15px” custom_margin=”|||40px|false|false” global_colors_info=”{}”]Excluding VAT, if applicable minus discounts. Discounts are automatically applied in the shopping cart. Please add the number of participants to the cart.[\/et_pb_text][et_pb_blurb title=”15% ” use_icon=”on” font_icon=”||divi||400″ icon_color=”#fa870d” image_icon_background_color=”rgba(255,255,255,0.75)” image_icon_width=”30px” _builder_version=”4.27.6″ _module_preset=”default” header_font=”|600|||||||” header_text_color=”#444444″ header_font_size=”18px” header_line_height=”1.5em” body_font_size=”16px” body_line_height=”1.3em” image_icon_custom_padding=”25px|25px|25px|25px|false|false” text_orientation=”center” custom_padding=”|30px||30px|false|true” border_radii_image=”on|100%|100%|100%|100%” icon_font_size=”30px” use_circle=”on” circle_color=”rgba(255,255,255,0.75)” locked=”off” global_colors_info=”{}” image_icon_background_color__sticky_enabled=”#86cbed” image_icon_background_color__sticky=”#86cbed”]up to 8 weeks before the start of the training.[\/et_pb_blurb][et_pb_text _builder_version=”4.27.4″ header_2_font=”|600|||||||” header_2_text_color=”#444444″ custom_margin=”|-40px|||false|false” custom_padding=”0px|||||” global_colors_info=”{}”]<\/p>\n

Dates and location not convenient?<\/span><\/h2>\n

<\/p>\n

We would be happy to organize a dedicated online training for your team or come directly to your company!<\/p>\n

[\/et_pb_text][et_pb_button button_text=”+49 621 595702 41″ button_alignment=”center” _builder_version=”4.27.2″ custom_button=”on” button_text_color=”#ffffff” button_bg_color=”#fa870d” button_border_width=”0px” button_letter_spacing=”0px” button_font=”|600|||||||” button_icon=”||divi||400″ button_icon_color=”#ffffff” button_icon_placement=”left” button_on_hover=”off” custom_margin=”||||false|false” custom_padding=”4px|31px|4px|51px|false|false” global_colors_info=”{}” button_bg_color__hover_enabled=”on|hover” button_bg_enable_color__hover=”on” button_bg_color__hover=”#fa870d”][\/et_pb_button][et_pb_button button_url=”https:\/\/www.itech-progress.com\/portfolio-item\/inhouse-trainings\/” button_text=”Write a request” button_alignment=”center” _builder_version=”4.27.2″ custom_button=”on” button_text_color=”#ffffff” button_bg_color=”#fa870d” button_border_width=”0px” button_letter_spacing=”0px” button_font=”|600|||||||” button_icon=”h||divi||400″ button_icon_color=”#ffffff” button_icon_placement=”left” button_on_hover=”off” custom_margin=”-4px||9px||false|false” custom_padding=”4px|20px|4px|40px|false|false” global_colors_info=”{}” button_bg_color__hover_enabled=”on|hover” button_bg_enable_color__hover=”on” button_bg_color__hover=”#fa870d”][\/et_pb_button][et_pb_cta title=”Curriculum” button_url=”https:\/\/public.isaqb.org\/curriculum-fm\/curriculum-fm-en.pdf” url_new_window=”on” button_text=”Download” _builder_version=”4.27.6″ header_font=”|600|||||||” header_font_size=”32px” header_line_height=”1.8em” background_enable_color=”off” background_image=”https:\/\/www.itech-progress.com\/wp-content\/uploads\/2020\/08\/EMBEDDED_heller.jpg” custom_button=”on” button_text_color=”#fa870d” button_bg_color=”#ffffff” button_border_width=”0px” button_font=”|600|||||||” button_use_icon=”off” button_custom_margin=”15px||||false|false” custom_margin=”||||false|false” custom_padding=”40px||40px||true|false” header_font_size_tablet=”” header_font_size_phone=”22px” header_font_size_last_edited=”on|phone” body_font_size_tablet=”” body_font_size_phone=”16px” body_font_size_last_edited=”on|phone” locked=”off” global_colors_info=”{}” button_text_color__hover_enabled=”on|hover” button_text_color__hover=”#ffffff” button_bg_color__hover_enabled=”on|hover” button_bg_color__hover=”#86cbed” button_bg_enable_color__hover=”on”]<\/p>\n

In the iSAQB curriculum, you can learn even more about the learning objectives and course content.<\/p>\n

[\/et_pb_cta][et_pb_slider _builder_version=”4.27.6″ _module_preset=”default” hover_enabled=”0″ global_colors_info=”{}” sticky_enabled=”0″][et_pb_slide heading=”Our Trainers” button_link=”https:\/\/www.itech-progress.com\/en\/our-trainers\/” use_bg_overlay=”off” use_text_overlay=”off” _builder_version=”4.27.6″ _module_preset=”default” header_level=”h3″ header_font=”|600|||||||” header_text_align=”center” header_font_size=”38px” background_enable_color=”off” use_background_color_gradient=”on” background_color_gradient_stops=”rgba(250,135,13,0.5) 0%|rgba(250,135,13,0.73) 100%” background_color_gradient_overlays_image=”on” background_image=”https:\/\/www.itech-progress.com\/wp-content\/uploads\/2022\/08\/Vortag-3-scaled.jpg” background_enable_image=”on” background_position=”top_left” custom_button=”on” button_alignment=”left” width=”100%” link_option_url=”https:\/\/www.itech-progress.com\/en\/our-trainers\/” hover_enabled=”0″ border_radii_image=”on|NaNpx|NaNpx|NaNpx|NaNpx” box_shadow_style_image=”preset1″ global_colors_info=”{}” sticky_transition=”on” sticky_enabled=”0″][\/et_pb_slide][\/et_pb_slider][et_pb_text _builder_version=”4.27.6″ header_2_font=”|600|||||||” header_2_text_color=”#fa870d” hover_enabled=”0″ locked=”off” global_colors_info=”{}” sticky_enabled=”0″]<\/p>\n

Credit Points for CPSA-A Certification<\/h2>\n
With the Formal Methods training, participants earn 20 technical and 10 methodological credit points according to the iSAQB Advanced Level Program.<\/div>\n

[\/et_pb_text][et_pb_circle_counter title=”Technical competence” number=”20″ percent_sign=”off” bar_bg_color=”#fa870d” _builder_version=”4.16″ title_level=”h4″ title_text_color=”#4c4c4c” title_font_size=”20px” global_colors_info=”{}”][\/et_pb_circle_counter][et_pb_circle_counter title=”Methodical competence” number=”10″ percent_sign=”off” bar_bg_color=”#fa870d” _builder_version=”4.16″ title_level=”h4″ title_text_color=”#4c4c4c” title_font_size=”20px” global_colors_info=”{}”][\/et_pb_circle_counter][et_pb_text module_id=”Termine_CPSA-F_DE” _builder_version=”4.27.4″ text_font=”|600|||||||” text_text_color=”#fa870d” text_font_size=”29px” header_font=”|600|||||||” header_text_color=”#fa870d” header_2_font=”|600|||||||” header_2_text_color=”#fa870d” text_orientation=”center” custom_margin=”||5px||false|false” custom_padding=”||||false|true” locked=”off” global_colors_info=”{}”]Participant Feedback from the Training[\/et_pb_text][et_pb_blurb alt=”cpsa-f training” icon_placement=”left” image_icon_width=”80px” image_icon_width_tablet=”80px” image_icon_width_phone=”60px” image_icon_width_last_edited=”on|phone” _builder_version=”4.27.6″ header_font=”Overpass|900|||||||” header_line_height=”1.4em” body_font=”||||||||” body_font_size=”16px” text_orientation=”center” custom_padding=”|||3px||” border_radii_image=”on|10px|10px|10px|10px” image_max_width=”80px” image_max_width_tablet=”” image_max_width_phone=”60px” image_max_width_last_edited=”on|phone” global_colors_info=”{}”]<\/p>\n

\n

“Hello, I really enjoyed the FM training. Many thanks to the trainer and for the practical part. This will surely help me in the future!”<\/em><\/p>\n

Participant from Nuremberg<\/strong><\/p>\n<\/blockquote>\n

[\/et_pb_blurb][et_pb_image src=”https:\/\/www.itech-progress.com\/wp-content\/uploads\/2022\/01\/cyber-security-16.png” align=”center” _builder_version=”4.27.4″ custom_margin=”|||72px” custom_margin_tablet=”” custom_margin_phone=”” custom_margin_last_edited=”on|phone” locked=”off” global_colors_info=”{}”][\/et_pb_image][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”4.27.2″ _module_preset=”default” locked=”off” global_colors_info=”{}”][et_pb_column type=”4_4″ saved_specialty_column_type=”2_3″ _builder_version=”4.27.2″ _module_preset=”default” global_colors_info=”{}”][et_pb_text module_id=”Termine_CPSA-F_DE” _builder_version=”4.27.4″ text_font=”|600|||||||” text_text_color=”#fa870d” text_font_size=”29px” header_font=”|600|||||||” header_text_align=”left” header_text_color=”#fa870d” header_2_font=”|600|||||||” header_2_text_color=”#fa870d” text_orientation=”center” custom_margin=”||5px||false|false” custom_padding=”||||false|true” locked=”off” global_colors_info=”{}”]<\/p>\n

Discover More Trainings!<\/p>\n

[\/et_pb_text][et_pb_code _builder_version=”4.27.2″ _module_preset=”default” global_colors_info=”{}”]

<\/div>