פרופ' ארנה גרימברג

פרופ' ארנה גרימברג

Leumi Chair of Science

יצירת קשר
דף בית:
http://www.cs.technion.ac.il/~orna/
דואר אלקטרוני:
orna[at]cs.technion.ac.il
משרד:
620
טלפון:
4327
שעות קבלה:
Monday, 16:00-17:00
תחומי עניין במחקר
אימות בעזרת מחשב של חומרה ותוכנה; מודולריות ואבסטרקציה; לוגיקה טמפורלית; בדיקת מודל מקבילית, שקילויות ויחסי סדר בין מבנים, אימות מונחה-SAT, משחקים.
פרסומים נבחרים
  • 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]