I have been testing formal verification methods with multiple products. It will be great to also understand more about what’s tried and how it was done. For example attempting to verify the spec is what I have been trying to implement.

I am already seeing the uptake on Spec-Driven Development as the Rational Unified Process revenge.