Orna Grumberg
Computer Science
Technion Israel Institute of Technology
Israel
Biography
Orna Grumberg working at Technion Israel Institute of Technology Orna Grumberg working at Technion Israel Institute of Technology
Research Interest
Computer-aided verification of software and hardware; Model checking; formal verification; Temporal logics; Modularity; Abstraction; Distributed model checking, SAT-based model checking, games, 3-valued logics.