Edmund M. Clarke
for their role in developing model checking into a highly effective verification technology that is widely adopted in the hardware and software industries
Affilié au moment de l'attribution du prix
Pittsburgh, États-Unis
La reconnaissance d'un travail ayant un impact durable
for their role in developing model checking into a highly effective verification technology that is widely adopted in the hardware and software industries
Pittsburgh, États-Unis