2 ms·

That's an ignorant and wrong assertion, spoken with an incredible amount of confidence. Look up software verification. There are verifiers for C.

• omegalulw 5y ago
  This is misleading. Formally verifying the behaviour of any large software is a really tall task, no matter what language they are written in.
  • junon 5y ago
    That's not what the parent comment asserted though.