Edmund Clarke Pioneered Methods for Detecting Software, Hardware Errorscs.cmu.edu2 pointsdavidw6 years ago