Edmund Clarke Pioneered Methods for Detecting Software, Hardware Errorscs.cmu.edu2 points·davidw··0 commentsOpen articleSaveView on HN