Advanced Course on Theorem Proving, Model Checking, Formal Verification Fundamentals from Tonex, Inc.

Advanced Course on Theorem Proving, Model Checking, Formal Verification Fundamentals

"Advanced Course on Theorem Proving, Model Checking, Formal Verification Fundamentals" dives deep into advanced verification techniques for safety-critical systems. These rigorous approaches not only validate functional correctness but also reveal logic flaws exploitable by cyber attackers. By using these methods early in system design, engineers create more secure platforms and reduce long-term security risks in embedded and control software.

Course Overview

Overall Proficiency Level

2 - Intermediate

Course Catalog Number

T101

Course Prerequisites

None

Training Purpose

Functional Development

Management Development

Specific Audience

All

Delivery Method

Online, Self-Paced

Online, Self-Paced

Learning Objectives

Understand the principles of theorem proving and model checking for formal verification.
Apply formal verification techniques to ensure correctness and security of system designs.
Analyze how formal verification identifies design flaws and security vulnerabilities early in development.
Evaluate the strengths and limitations of different formal verification approaches.
This course strengthens cybersecurity by proactively detecting and eliminating design-level security weaknesses.

Framework Connections

Design and Development

The materials within this course focus on the NICE Framework Task, Knowledge, and Skill statements identified within the indicated NICE Framework component(s):

Competency Areas

Work Roles

Feedback

If you would like to provide feedback on this course, please e-mail the NICCS team at NICCS@mail.cisa.dhs.gov. Please keep in mind that NICCS does not own this course or accept payment for course entry. If you have questions related to the details of this course, such as cost, prerequisites, how to register, etc., please contact the course training provider directly. You can find course training provider contact information by following the link that says “Visit course page for more information...” on this page.