4 ms·
So government software, technically cybernetic software, should be proven to be correct. Will automatic theorem proovers be able to accommodate this?
by ganzuul 6y ago
So government software, technically cybernetic software, should be proven to be correct. Will automatic theorem proovers be able to accommodate this?
- _vertigo 6y agoNot necessarily proven to be correct, proven to be correct _beyond a reasonable doubt_. That's the standard.