[gchadwick]

> but on a daily basis, pretty much no one uses it.

Maybe not for software but certainly in the hardware world formal verification is common place with mature tools available from multiple vendors.