0368447901 - Program Analysis and Verification | Tel Aviv University

Tel Aviv University – Web-Supported Academic Instruction

My courses The video platform Useful Links Support

Enrolment options

0368447901 - Program Analysis and Verification (03684479-01-2025-2)

0368447901 - Program Analysis and Verification

Teacher: Noam Rinetzky

Guests cannot access this course. Please log in.

You are currently using guest access (Log in)

> מדיניות שמירת מידע ופרטיות

האוניברסיטה עושה כל מאמץ לכבד את זכויות היוצרים. אם את/ה בעל/ת זכויות יוצרים בתכנים שנמצאים פה וסבור/ה שהשימוש שנעשה פה אסור, אנא פנה/י אל צוות Virtual TAU.
משתמש/ת יקר/ה, טרם העלאת תכנים לאתר זה עליך לוודא כי התוכן שמועלה על ידך לאתר אינו מוגן בזכויות יוצרים.
ככל שהתוכן מוגן בזכויות יוצרים עליך לוודא שהשימוש בו מותר בהסכמת בעל זכויות היוצרים או שהשימוש בתוכן מהווה שימוש הוגן בהתאם לסעיף 19 לחוק זכויות יוצרים, תשס"ח-2007.
אין להעלות לאתר זה תכנים המוגנים בזכויות יוצרים ללא אישור בעל הזכויות או תכנים שהשימוש בהם אינו מהווה שימוש הוגן בהתאם לחוק. העלאת תכנים לאתר זה הינה באחריות המשתמש/ת.

> לתמיכה וייעוץ ניתן לפנות ל-Virtual TAU virtualt@tauex.tau.ac.il

שימו לב, אין תמיכה באפליקציית Moodle. ניתן לגלוש ב-Moodle דרך כל הדפדפנים.

> להצהרת הנגישות

> Data retention summary

The University makes every effort to honor copyrighted works.

If you are the owner of the copyrights of any contents herein, and if you are of the opinion that the usage made thereof is prohibited, kindly refer the matter to Virtual TAU Team.
Dear user/s, before uploading contents onto this site, you must ensure that the content you uploaded onto the site is not protected by copyright.
As long as the content is protected by copyright, you must ensure that its usage is permitted with the consent of the owner of the copyright, or that such usage constitutes "fair usage” in terms of section 19 of the Copyright Law of 2007.

> For support, you can contact Virtual TAU virtualt@tauex.tau.ac.il

Please note, the Moodle app is not supported. You can browse Moodle through all browsers.