4 ms·You can formally verify C code against a spec though.by freemint 5y agoYou can formally verify C code against a spec though.