3 ms·Formal verification works for algorithms, but not for interactions.by dhs 17y agoFormal verification works for algorithms, but not for interactions.