New Course Announcement: Advanced Formal Verification

Find a Training Course

New Course Announcement: Advanced Formal Verification

April 2024|News

The new Advanced Formal Verification course from Doulos, equips engineers to tackle complex verification challenges, by providing a deep, practical level of knowledge. Attendees benefit from independent, objective tuition, while learning in the context of their chosen tool and methodology.

It is particularly targeted at engineers and teams who want to move to a subject-matter expert level on formal verification, understanding how to plan, use, and implement formal verification on their real-world projects.

Advanced topics include:

Satisfiability
Abstractions
Formal synthesis and modeling
Non-determinism
Advanced constraints, including under and over-constraining

Global training solutions for engineers creating the world's electronics

New course announcement

Find a Training Course