As long as the software is proven correct, who cares how it achieves that?
How can it be proven correct if it's not deterministic? Isn't this the halting problem?
alt Hacker News
How can it be proven correct if it's not deterministic? Isn't this the halting problem?