The only tool I see to ever take off in languages that people already use is design by contract, and is has been a hard ride even making that available in some.

Let alone something more complex in formal verification.