3 ms·
It actually is related to the halting problem. Rice's theorem is the directly relevant result though. Formal verification of more constrained systems is possi
by readams 9y ago
It actually is related to the halting problem. Rice's theorem is the directly relevant result though. Formal verification of more constrained systems is possible though.
- deleted 9y ago[deleted]