Service
Training & Workshops
Hands-on formal methods training designed by the creator of ESBMC and delivered by Lucas Cordeiro or qualified associates. From introductory sessions to bespoke multi-day programmes — on-site or remote.
Formats
Choose your training format
Half-day Introduction
- What is formal verification?
- Testing vs. formal proof
- ESBMC overview and demo
- When and how to apply it
2-Day Hands-on Course
- BMC theory & practice
- Hands-on ESBMC for C/C++
- Writing verifiable code
- Integrating ESBMC into CI/CD
- Interpreting counterexamples
Custom Programme
- Adapted to your codebase
- Standards-specific content (DO-178C, ISO 26262)
- Toolchain integration for your stack
- Follow-up support sessions
Why invest
Benefits of formal methods training
Reduce verification costs
Engineers who understand formal methods instrument code correctly from the start, reducing rework.
Build internal capability
In-house knowledge reduces long-term dependency on external consultants.
Support certification requirements
DO-330 and ISO 26262 both require evidence that tool users are competent. Our training provides documentation suitable for inclusion in your competency record.
Improve code quality
Formal methods thinking improves software design — bugs prevented, not just found.
Designed by the creator of ESBMC
Training is designed by Prof. Lucas Cordeiro — Professor of Formal Verification and Software Security at the University of Manchester and creator of ESBMC — and delivered by him directly or by qualified associates as the engagement requires. Your team learns from the same material the underlying research group teaches at postgraduate level.
Pricing
Fixed-price per cohort
On-site or remote. We adapt the content to your team's language, toolchain, and safety standard. Contact us to discuss dates and cohort size.