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
Afiliado al momento del premio
Pittsburgh, Estados Unidos
Reconocimiento al trabajo con impacto duradero
for their role in developing model checking into a highly effective verification technology that is widely adopted in the hardware and software industries
Pittsburgh, Estados Unidos