אמיר פנואלי
אמיר פנואלי (1941, 2009) היה מדען ישראלי בתחום המתמטיקה ומדעי המחשב. נולד בכפר נהלל וגדל בחולון. למד מתמטיקה ועשה דוקטורט במכון ויצמן. עבד גם בארצות הברית ובאוניברסיטאות בישראל. הוא פיתח רעיונות לבדוק תוכנות בזמן. לוגיקה טמפורמלית היא שיטה לבדוק אם תוכנה עושה את מה שמצפים ממנה בזמן הנכון. רעיון ...
אימות תוכנה
אימות תוכנה בודק שהמחשב עושה בדיוק את מה שאומרים לו. בדיקה רגילה בוחרת דוגמאות ובודקת אותן. זה טוב אבל לא בודק כל מצב. אימות מנסה להראות שזו עובדה נכונה בכל המקרים. שיטה אחת בונה "מודל" פשוט של התוכנית. מודל מתמטי הוא תיאור מתמטי של המערכת. המודל צריך להיות סופי, כלומר עם מספר מצבים שניתן לספור. ...