4 ms·Depends on how it is managed.by w_t_payne 11y agoDepends on how it is managed.nmrm2 11y agoDefinitely. Formal methods don't replace process carte blanc, but rather make the tasks from which the review process is composed tractable.