> 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

> 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.