2 ms·
> [...] the same in the sense that they are just as poor in quality? I mean some real-time software for critical embedded systems has an incredible level of ri
by nextos 8mo ago
> [...] the same in the sense that they are just as poor in quality?
I mean some real-time software for critical embedded systems has an incredible level of rigor, making heavy use of static analysis, model checking, and theorem proving.
- vsgherzi 8mo agoNoted, perhaps I'll investigate as a possible next career step. Thanks!