4 ms·> this is not correct at all Why? There's a thing called formal verification of software.by chromoblob 3y ago> this is not correct at all Why? There's a thing called formal verification of software.