Prof. Orna Grumberg

Prof. Orna Grumberg

Contact information
Homepage:
http://www.cs.technion.ac.il/~orna/
Email:
orna[at]cs.technion.ac.il
Office:
620
Phone:
4327
Office Hours:
Tuesday, 16:00-17:00
Research interests
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.
Selected publications
  • R. Armoni, L. Fix, A. Flaisher, O. Grumberg, N. Piterman, A. Tiemeyer and M.Y. Vardi.
    Enhanced Vacuity Detection in Linear Temporal Logic.
    In 15th International Conference on Computer Aided Verification, Lecture Notes in Computer Science, 2725:368--380, © Springer-Verlag, 2003 [bibtex]
[bibtex errors]