Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Prediction: AI will make formal verification go mainstream. Parent comment
That the spec solves the problem is called validation in my domain and treated explicitly with different methods.
We use formal validation to check for invariants, but also "it must return a value xor an error, but never just hang".
There are no comments on this comment yet.
That the spec solves the problem is called validation in my domain and treated explicitly with different methods.
We use formal validation to check for invariants, but also "it must return a value xor an error, but never just hang".