[Back to the news index]
CS congratulates Prof.
been awarded the cav-award
Award - the most prestigious prize in Formal
Verification. Together with Prof. Edmund Clarke and others she received it for
development and implementation of the localization-reduction technique and the
formulation of counterexample-guided abstraction refinement (CEGAR).
Enclosed is the detailed Reason for awarding the prize.
Congratulations to Orna!