I believe it is "simpler" in terms of formal semantics. Formalizing standard C is way harder (see https://github.com/kframework/c-semantics https://github.com/k

I believe it is "simpler" in terms of formal semantics. Formalizing standard C is way harder (see https://github.com/kframework/c-semantics https://github.com/kframework/c-semantics). In fact, C0 is explicitly targeted at computer scientists rather than engineers.