3 ms·You seem to be dismissing formal methods, but they've been used successfully in various domains.by MaxBarraclough 6y agoYou seem to be dismissing formal methods, but they've been used successfully in various domains.