For engineering teams adopting verification-gated development.
Half a day to two days, worked against code your team actually owns.
Half-day to two-day · remote or on-site
If this sounds like your team, here's the process.
About your team, your stack, and which of your systems would make the best hands-on material.
We pick the state machine(s) to work against and confirm format — remote or on-site, half-day or two-day.
Modeling, invariants, and gates, worked live against your own code with your own engineers.
A modeled, verified first machine, and a team that knows how to model the next one.