[crimsonalucard]

With the amount of infrastructure focused around testing I think the opposite is true.

I think it's more ignorance and culture. Many people don't know about formal methods.

[Ididntdothis]

Agreed.