3 ms·
In Hillel's defense, maybe they're not opposed ideas... this article talks about problems with formal verification, but I think his thing is more formal modelin
by Taikonerd 6y ago
In Hillel's defense, maybe they're not opposed ideas... this article talks about problems with formal verification, but I think his thing is more formal modeling (with TLA+).
- hwayne 6y agoIf I find any cold showers with formal modeling, I will absolutely include those too. :D