3 ms·
The key point is that most software don't need correctness to the level formal verification provides. There's a subset of software however, for which there's no
by jlouis 3y ago
The key point is that most software don't need correctness to the level formal verification provides. There's a subset of software however, for which there's no substitute for a formal verification process.
- aSanchezStern 3y agoAdditionally, formal verification usability is an area of constant research, and the set of software for which it is the best ROI increases over time.