3 ms·I didn't say it couldn't; I didn't say anything about formal verification.by DanWaterworth 12y agoI didn't say it couldn't; I didn't say anything about formal verification.