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