Fellow
Israel – 2015
CITATION

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