3 ms·Formal verification of arbitrary code is a "simple, routine task"?by IceDane 2y agoFormal verification of arbitrary code is a "simple, routine task"?GoblinSlayer 2y agoInformal verification.