3 ms·The HACMS program: using formal methods to eliminate exploitable bugs2 points by stevenjgarner 9y ago