We used the vChecker tool in a project with national importance to Israel’s security and safety.
The one week we dedicated to learning the tool and solving the CDC problems in the design saved us about 2 months or more in integration and a non-quantified amount of time in production and experiments.