Formal Verification Training

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.