EDMUND M. CLARKE
 

Automatic verification of computer hardware and software