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

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