For Applications & Industries
Free Online Training Events
Free Technical Resources
Doulos formal verification training is intended for anyone who wants a solid, thorough, practical grounding in what formal verification is really all about from an independent third party. We teach the principles, procedures, tricks, and rules-of-thumb of formal, all the things you actually need to know and understand in order to start using formal on your verification projects.
The training is available as In-Person or Live Online Training.
Please contact your local Doulos team to talk about requirements for team-based training.