[nextos]

> [...] 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]

Noted, perhaps I'll investigate as a possible next career step. Thanks!