3 ms·So we do use formal methods! Problem solved.by barbecue_sauce 8y agoSo we do use formal methods! Problem solved.