3 ms·I have a soft spot for formal methods, but how do you see this taking off?by jhanschoo 9y agoI have a soft spot for formal methods, but how do you see this taking off?