Joseph Sifakis

for their role in developing model checking into a highly effective verification technology that is widely adopted in the hardware and software industries