3 ms·No automatic verification would flag misunderstood business logicby avereveard 5y agoNo automatic verification would flag misunderstood business logic