כיצד נדע אם אפשר לסמוך על מכונית ללא נהג או מטוס ללא טייס? בוגר מכון ויצמן פיתח שיטה לבדיקת מהימנות תוכנות שנכתבו על ידי מחשבים חיינו עשויים להיות תלויים ביכולת לבדוק את החישובים של המכונות שלנו. פעולות כגון נהיגה במכונית או הטסת מטוס מחייבות הערכה מהירה של המצב וקבלת החלטות תוך שברירי שנייה. אולם, ייתכן...
המשך