The Course Will Cover Methods in Verification and Program Analysis And Code Synthesis# Static Analysis, Data Flow Analysis, Control Flow Analysis, Operational Semantics, Abstract Interpretation and Numerical Domains, Smt/sat Solvers, Symbolic Execution, Program Synthesis, Enumerative Synthesis, Programming By Example, Counterexample-guided Synthesis, Big Code. Learning Outcomes# 1. Explain Different Methods For Guaranteeing Correctness of Software. 2. Understand How to Use These Methods For Practical Software Systems. 3.understand The Practical Advantages and Limitations of The Different Methods.

Faculty: Electrical and Computer Engineering
|Undergraduate Studies |Graduate Studies
Pre-required courses

44268 - Int. to Data Structur and Algorithms or 234218 - Data Structures 1

Semestrial Information

Weekly Hours

3 Academic Credit • 2 Lecture Hours • 1 Discussion Hours

Responsible(s)

Dana Drachsler Cohen

Notes
  • מתרגל ובודק תרגילים: תם יובילר

Exams
Session A: 04-09-2024 Session B: 30-09-2024
Registration Groups
11
Lecture Sunday 12:30 - 14:30 בנ.מאייר 353 | Dana Drachsler Cohen
Exercise Sunday 14:30 - 15:30 בנ.מאייר 353 | Tom Yuviler
Weekly Hours

3 Academic Credit • 2 Lecture Hours • 1 Discussion Hours

Responsible(s)

Dana Drachsler Cohen

Notes
  • מתרגל: תם יובילר
  • בודקי תרגילים: תם יובילר וענאן כבהא

Exams
Session A: 19-02-2023 Session B: 20-03-2023
Registration Groups
11
Lecture Tuesday 11:30 - 13:30 בנ.מאייר 353 | Dana Drachsler Cohen
Exercise Tuesday 13:30 - 14:30 בנ.מאייר 353 | Tom Yuviler
Weekly Hours

3 Academic Credit • 2 Lecture Hours • 1 Discussion Hours

Responsible(s)

Dana Drachsler Cohen

Notes
  • ההרצאה והתרגול יתקיימו במאייר 1061.
  • מתרגלים: ד"ר דנה דרקסלר כהן וענאן כבהא
  • בודק תרגילים: ענאן כבהא

Exams
Session A: 02-02-2022 13:00 - 16:00
  • אולמן 603.
Session B: 01-03-2022 09:00 - 12:00
  • אולמן 309.
Session C: 22-03-2022 17:00 - 20:00
  • אולמן 102.

Registration Groups
11
Lecture Monday 11:30 - 13:30 | Dana Drachsler Cohen
Exercise Monday 13:30 - 14:30 | Dana Drachsler Cohen | Anan Kabaha