3 ms·Formal verification assuming you can even specify the problem well enough.by wbl 5y agoFormal verification assuming you can even specify the problem well enough.