2 ms·Formal methods and provably-correct software.by cartoonfoxes 9y agoFormal methods and provably-correct software.jhanschoo 9y agoI have a soft spot for formal methods, but how do you see this taking off?