<< עדכונים עבור 02/03/2009 :: עדכונים עבור 08/03/2009 :: עדכונים עבור 09/03/2009 >>
מסמך חדש נוסף לאתר, המסמך החדש שנוסף הוא: "מבוא לאימות תוכנה".
| מסמכים חדשים | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
מבוא לאימות תוכנה
ספר אלקטרוני הוכחת נכונות של תוכניות ע"י שיטת Floyd ושיטת Hoare. בדיקת מודל: לוגיקות טמפורליות, בדיקת מודל CTL, שימוש ב-BDDs, בדיקת מודל סימבולית ובדיקת מודל חסומה. המסמך עוקב אחר הקורס "מבוא לאימות תוכנה (236342)" בטכניון, אך הוא איננו חומר רשמי שאושר על ידי צוות הקורס, אלא סיכום אישי של ניר אדר. סטודנטים בקורס צריכים לשים לב כי המסמך עלול להכיל טעויות ואי דיוקים. |
ניר אדר |  מסמך אונליין 8018 הורדות 120 עמודים |