1. Home
  2. Computer
  3. Computer Science
  4. Grumberg, Orna

Computer · Computer Science

Grumberg, Orna

Listed in the directory · updated 21 Jul 2022

Visit website

Find them on

Share

About Grumberg, Orna

Grumberg, Orna- The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite objects, theorem provers, static analysis and model checking, coverage in model checking.

Tags

B

Where it sits

Computer Computer Science

More in Computer Science

See all →