| ▲ | My practitioner view of program analysis(sawyer.dev) | |||||||||||||
| 26 points by evakhoury a day ago | 4 comments | ||||||||||||||
| ▲ | sanxiyn 2 hours ago | parent | next [-] | |||||||||||||
The gap between formal and informal has been pointed out as an Achilles' heel of formal methods from the dawn of the field, so critique is not particularly new. The standard reference is Social processes and proofs of theorems and programs (1979), which is worth reading. | ||||||||||||||
| ▲ | MWil 2 hours ago | parent | prev [-] | |||||||||||||
the author seems unaware of the SAT/SMT solver/analysis ecosystem | ||||||||||||||
| ||||||||||||||