שיטות מתוחכמות לבדיקת האמינות של חומרה ותוכנה של מחשבים

פרופ' אמיר פנואלי פיתח שיטות מתוחכמות לבדיקת האמינות של חומרה ותוכנה של מחשבים. הוא השתמש בשפה מתמטית הקרויה "הגיון טמפוראלי", Tenporal Logic, המאפשרת לנסח ולהוכיח משפטים אשר כוללים הצהרות הקשורות בזמן.

מחקרו של פרופ' פנואלי יושם במערכות בקרה של כורים גרעיניים ומשגרי טילים לחלל. ניתן גם ליישם אותו ביצירת "כבישים חכמים" בעלי חיישנים למניעת תאונות דרכים.