3 ms·Edmund Clarke Pioneered Methods for Detecting Software, Hardware Errors2 points by davidw 6y ago