| |||||||||||||||||||||||||||||||||
סמינר באימות פורמאלי
Seminar in Formal Verification |
0368-3115 | ||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
מדעים מדויקים | |||||||||||||||||||||||||||||||||
|
הסמינר יעסוק באימות פורמלי. נדון בלוגיקות טמפורליות שונות, אלגוריתמי בדיקת מודל עבור הלוגיקות השונות וטכניקות שונות להתמודדות עם בעיית התפוצצות המצבים המתעוררת בבדיקת מודל.
דרישת קדם: לוגיקה למדעי המחשב