Engineering
Global

Engineering Experts

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.

Global Experts from Israel

Global Experts in Subject

Share This Profile