Edmund M. Clarke Jr.

• Model checking