2 ms·Formal verification doesn't imply waterfall.by DanWaterworth 12y agoFormal verification doesn't imply waterfall.