Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Introduction to TLA+ Model Checking in the Command Line. Parent comment
But you're right that deductive proofs are hardly ever worth the effort when you have a model checker. If you can get 99.99999% confidence for essentially free, most people wouldn't pay extra months of work to get to 99.999999% confidence.
There are no comments on this comment yet.
But you're right that deductive proofs are hardly ever worth the effort when you have a model checker. If you can get 99.99999% confidence for essentially free, most people wouldn't pay extra months of work to get to 99.999999% confidence.