מדעי המחשב
הטכניון - מכון טכנולוגי לישראל
פרופ' ארנה גרימברג
- יצירת קשר
- דף בית:
- http://www.cs.technion.ac.il/~orna/
- דואר אלקטרוני:
- orna
![[at]](/images/shtru.gif)
cs.technion.ac.il
- משרד:
- 620
- טלפון:
- 4327
- שעות קבלה:
- Tuesday, 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]
