236342 - מבוא לאימות תוכנה



שתף עם חברים:


ספר אלקטרוני
כותרת המסמך מחבר פרטים נוספים
ספר אלקטרוני מבוא לאימות תוכנה
ספר אלקטרוני
הוכחת נכונות של תוכניות ע"י שיטת Floyd ושיטת Hoare. בדיקת מודל: לוגיקות טמפורליות, בדיקת מודל CTL, שימוש ב-BDDs, בדיקת מודל סימבולית ובדיקת מודל חסומה. המסמך עוקב אחר הקורס "מבוא לאימות תוכנה (236342)" בטכניון, אך הוא איננו חומר רשמי שאושר על ידי צוות הקורס, אלא סיכום אישי של ניר אדר. סטודנטים בקורס צריכים לשים לב כי המסמך עלול להכיל טעויות ואי דיוקים.
ניר אדרמסמך אונליין
מסמך אונליין
8121 הורדות
120 עמודים