Press Space to continue
Investing heavily in formal verification tools may not yield
Press Space to continue
It was amusing to learn from a formal methods expert (Hillel Wayne) how formal methods are very cumbersome for much of real-world verification / testing. Even when you take into account using AI!
@pragmatic_engQuoted post unavailable hereOpen on Xopen on x · 1 viewViews and clicks count once per visitor per day. Clicks are opens of this post on X.