3 ms·How about: skeptical of formal verification?by petergeoghegan 4y agoHow about: skeptical of formal verification?