EDMUND M. CLARKE
Automatic verification of computer hardware and software