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.
Still unsure which training course you need? Please let us help you. Complete an enquiry form to receive expert assistance.