2 ms·So, as we were discussing Monday, would formal methods have addressed this vulnerability?by mcguire 7y agoSo, as we were discussing Monday, would formal methods have addressed this vulnerability?