3 ms·Why Don't People Use Formal Methods?4 points by rramadass 3y agocoldtea 3y ago[flagged]deleted 3y ago[deleted]