4 ms·
the author seems unaware of the SAT/SMT solver/analysis ecosystem
by MWil 6mo ago
the author seems unaware of the SAT/SMT solver/analysis ecosystem
- sanxiyn 6mo agoWhy do you think so? I didn't get such impression.
- dang 6mo ago"Please don't post shallow dismissals, especially of other people's work. A good critical comment teaches us something." https://news.ycombinator.com/newsguidelines.html https://news.ycombinator.com/newsguidelines.html
- jaen 6mo agoNo. Did you even read the article? It talks about the "specification gap", which is the difference between the formalized semantics and the intended semantics. Every formal method has that problem (including the mentioned trivial ones like SAT and SMT).