4 ms·
> Why Don't People Use Formal Methods? Because they're an emerging and unproven technology? Why don't people rewrite everything in Rust? That would surely be a
by zozbot123 8y ago
> Why Don't People Use Formal Methods?
Because they're an emerging and unproven technology? Why don't people rewrite everything in Rust? That would surely be a lot more straightforward than adopting the sorts of "formal methods" where you only write a handful of (C-language equivalent) LOC per day, across the software industry! So why doesn't it happen? There's your answer.
- gowld 8y agoFormal Methods are 30+ years old. https://en.wikipedia.org/wiki/Formal_methods https://en.wikipedia.org/wiki/Formal_methods
- zozbot123 8y agoAI is 30+ years old too, and formal methods (especially things like solving SAT, or theorem proving) used to be considered AI. I'm not quite sure what your point is; just because something has a 30+ years history doesn't somehow make it a mature, usable tech.
- UncleMeat 8y agoStatic type checking is abstract interpretation. If you program in Java you are using formal methods.
- barbecue_sauce 8y agoSo we do use formal methods! Problem solved.
- kiriakasis 8y agoThe proofs you produce are probably weaker than those the author wants