In the first part of this course you will learn how to extract high-level information from (lower level) programs without running them. You will learn to statically (at compile time) reason about properties of programs. For example, how to use automatic program analysis techniques for showing that a web-site is not exposed to certain security vulnerabilities.In the second part of the course, you will learn how to synthesize programs from (higher-level) partial programs and specifications.
דלג לתוכןדלג לתפריט החלף לסטייל מקצועהחלף לסטייל מערכת 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 Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل
02360607 - Advanced Course in Program Analysis and Synthesis
חורף 2011-2012Winter 2011-2012Зима 2011-2012شتاء 2011-2012
הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل