2 ms·Formal verification depends on frozen requirements. These are quite rare in practice.by sgift 10y agoFormal verification depends on frozen requirements. These are quite rare in practice.