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
受賞時の所属
Pittsburgh, 米国
永続的な影響を与える作品に対する表彰
for their role in developing model checking into a highly effective verification technology that is widely adopted in the hardware and software industries
Pittsburgh, 米国