Engineering
Global

Engineering Experts

Orna Grumberg


Computer Science
Technion Israel Institute of Technology
Israel

Biography

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
Recommended Conferences
View more