Hacker News new | ask | show | jobs
by nmrm2 3918 days ago
Definitely. Formal methods don't replace process carte blanc, but rather make the tasks from which the review process is composed tractable.