Prof.
Orna
Grumberg
- Computer Science
Technion - Israel Institute of Technology
English, Hebrew
- Discipline Computer Science
- Computer Science Field Verification
- Research Keywords Abstraction and modular verification, automata, Constrained Horn Clauses, Model checking,, SAT, temporal logic
Research Interests
Computer-aided verification of software and hardware – Model checking
Compositional model checking
Abstraction, refinement and counterexamples (CEGAR)
Temporal logics
Equivalences and preorders
SAT-based model checking
Automata on infinite objects
Finding security vulnerabilities with formal methods
Program repair
Program differencing
Distributed Model checking
Static analysis and model checking
Coverage and vacuity
Games for model checking
Symbolic Trajectory Evaluation (STE)
Symmetry
Compositional model checking
Abstraction, refinement and counterexamples (CEGAR)
Temporal logics
Equivalences and preorders
SAT-based model checking
Automata on infinite objects
Finding security vulnerabilities with formal methods
Program repair
Program differencing
Distributed Model checking
Static analysis and model checking
Coverage and vacuity
Games for model checking
Symbolic Trajectory Evaluation (STE)
Symmetry
Selected Awards
CAV award
ACM fellow.
Member of the Academia Europaea.
ACM fellow.
Member of the Academia Europaea.
