|
|
|
|
|
|
by MoreQARespect
228 days ago
|
|
|
>Most developers just don't know how to think in terms of formal proofs Formal proofs are useful on the same class of bug property tests are. And vice versa. The issue isnt necessarily that devs cant use them, it's that the problems they have which cause most bugs do not map on to the space of "what formal proofs are good at". |
|
|