New course announcement

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