3 ms·

Definitely. Formal methods don't replace process carte blanc, but rather make the tasks from which the review process is composed tractable.