We will survey papers that deal with the problem of formally verifying security properties of systems.
Prerequisites:
- Logic for CS
- Introduction to Software Verification
דלג לתוכןדלג לתפריט החלף לסטייל מקצועהחלף לסטייל מערכת Skip to contentSkip to menu Switch to course styleSwitch to system style Skip to contentSkip to menu Switch to course styleSwitch to system style Skip to contentSkip to menu Switch to course styleSwitch to system style
הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل
02360802 - סמינר באימות אוטומטי עבור תכונות אבטחה
חורף 2019-2020Winter 2019-2020Зима 2019-2020شتاء 2019-2020
הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل