3 ms·
No, but for any given program I may be able to hire someone to tell me whether it halts. Safety critical automotive software is going to tend to be an easier c
by dllthomas 10y ago
No, but for any given program I may be able to hire someone to tell me whether it halts.
Safety critical automotive software is going to tend to be an easier case, since it's quite likely to be extremely time bounded.