Various Methods For Program Verification With Respect to Given Specifications. The Course Consists of Two Parts. The First Part Introduces Deductive Methods. The Second Presents Model-checking Methods. The Deductive Approach (input-output Programs)# Partial Correctness and Termination of Flowchart Programs. The Compositional Approach-partial Correctness and Termination. The Model Checking Approach (reactive Programs)# Temporal Logics And Kripke Structures. Ctl Model Checking With Fairness. Bdds and Their Use. Bdd-based Model Checking. Sat-based Bounded Model Checking. Using A Software Tool For Model Checking.

Faculty: Computer Science
|Undergraduate Studies |Graduate Studies
Pre-required courses

234292 - Logic For Cs or 234293 - Logic and Set Theory For Cs

Semestrial Information

Weekly Hours

3 Academic Credit • 2 Lecture Hours • 1 Discussion Hours • 1 Project Hours

Go to Course Page

Go to Course Page


Responsible(s)

Yakir Vizel


Exams
Session A: 05-05-2024
  • אולמן 307. 502. 505. 506. 507.
Session B: 26-05-2024
Registration Groups
11
Lecture Tuesday 10:30 - 12:30 טאוב 7 | Yakir Vizel
Exercise Tuesday 14:30 - 15:30 טאוב 5 | Omer Rappoport
12
Lecture Tuesday 10:30 - 12:30 טאוב 7 | Yakir Vizel
Exercise Wednesday 16:30 - 17:30 טאוב 6 | Roy Deutch
69
Enrollment Group No information regarding course hours
Weekly Hours

3 Academic Credit • 2 Lecture Hours • 1 Discussion Hours • 1 Project Hours

Go to Course Page

Go to Course Page


Responsible(s)

Yakir Vizel


Exams
Session A: 17-02-2023 Session B: 10-03-2023
Registration Groups
11
Lecture Tuesday 10:30 - 12:30 טאוב 9 | Yakir Vizel
Exercise Tuesday 14:30 - 15:30 טאוב 6 | Roy Deutch
12
Lecture Tuesday 10:30 - 12:30 טאוב 9 | Yakir Vizel
Exercise Wednesday 16:30 - 17:30 טאוב 8 | Omer Rappoport
69
Enrollment Group No information regarding course hours
Weekly Hours

3 Academic Credit • 2 Lecture Hours • 1 Discussion Hours • 1 Project Hours

Go to Course Page

Go to Course Page


Responsible(s)

Yakir Vizel


Exams
Session A: 08-02-2022 13:00 - 16:00
  • אולמן 602. 604. 605. 606. 607.
Session B: 08-03-2022 09:00 - 12:00
  • טאוב 3. 4. 6.
Session C: 29-03-2022 17:00 - 20:00
  • אולמן 310.

Registration Groups
11
Lecture Wednesday 10:30 - 12:30 טאוב 7 | Yakir Vizel
Exercise Tuesday 14:30 - 15:30 טאוב 7 | Roy Deutch
12
Lecture Wednesday 10:30 - 12:30 טאוב 7 | Yakir Vizel
Exercise Wednesday 16:30 - 17:30 טאוב 9 | Raissa Nataf