אימות תוכנה – הבדלי גרסאות

[[אמיר פנואלי]] מ[[מכון ויצמן למדע]] נחשבהיה למומחה ברמה בינלאומית בתחום זה ואף זכה על מחקריו בתחום ב[[פרס טיורינג]], הפרס החשוב ביותר במדעי המחשב, על מחקרו ופיתוחיו בתחום [[לוגיקה טמפורלית|הלוגיקה הטמפורלית]].