Orna Grumberg

Digital Library

ACM Fellows

Israel - 2015

citation

For contributions to research in automated formal verification of hardware and software systems.