OTHER ACADEMIC YEARS

Index:

Exams

Course programme

Textbooks

Class material

Class timetable

Software

Exams

Exams Rules

Exams Dates

N	Date	Hour	Where	Notes	Register	Deadline
1	12/06/2023	10:00 - 11:00	A1.2
2	29/06/2023	10:00 - 11:00
3	13/07/2023	10:00 - 11:00
4	07/09/2023	10:00 - 11:00
5
6
7
straord

Official information is here

Course Programme

Cyber-Physical Systems Modeling and Simulation

• Modelica and Simulink

Statistical Model Checking

• modeling and algorithms

Probabilistic Model Checking

• modeling and algorithms
• PRISM

System Level Formal Verification

• modeling and algorithms

Textbooks:

• Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem (Editors): Handbook of Model Checking, Springer
• A version of this book is available here

Class Material

N	Date	Material	Arguments	Notes
1	27/02/2023	slides	Presentation of the course. Introduction to classical model checking techniques	Slides 1-52
2	03/03/2023	see Lecture 1	Introduction to classical model checking techniques (contd)	Slides 53-89
3	06/03/2023	see Lecture 1	Introduction to classical model checking techniques (finished)	Slides 90-end
	10/03/2023		CANCELED
4	13/03/2023	slides	Introduction to simulation of complex systems (part 1)	Slides 1-48
5	17/03/2023		Review of the past lessons
6	20/03/2023		Review of the past lessons
7	24/03/2023		Review of the past lessons
8	27/03/2023	See slides in lesson 4	Simulation of complex systems: Modelica	Slides 49-end
9	31/03/2023	slides comments	Probabilistic Model Checking (part 1)	Slides 1-45
10	03/04/2023	See slides and comments in lesson 9	Probabilistic Model Checking (part 2)	Slides 46-71
11	14/04/2023		Review of the past lessons
12	17/04/2023	See slides and comments in lesson 9	Probabilistic Model Checking (part 3)	Slides 72-129
13	21/04/2023		Review of the past lessons
14	28/04/2023	See slides and comments in lesson 9	Probabilistic Model Checking (part 4)	Slides 130-156
15	05/05/2023	See slides and comments in lesson 9	Probabilistic Model Checking (part 5)	Slides 157-246
16	08/05/2023	See slides and comments in lesson 9	Probabilistic Model Checking (part 6)	Slides 247-end
17	12/05/2023	slides	Statistical Model Checking (part 1)	Slides 1-36
18	15/05/2023	See slides in lesson 17	Statistical Model Checking (part 2)	Slides 37-end
19	19/05/2023		Review of the past lessons
20	22/05/2023		Review of the past lessons
21	26/05/2023	slides	System Level Formal Verification (part 1)	Slides 1-24
22	29/05/2023	See slides in lesson 21	System Level Formal Verification (part 2)	Slides 25-53
23	05/06/2023		Review of the past lessons
24	09/06/2023		System Level Formal Verification (part 3)	Slides 54-end

Class Timetable

Day	From	To	Where
Monday	11:30AM	1:30PM	A1.5
Friday	9:30AM	11:30AM	Digital Class

Room A1.5 is at second floor of the "Alan Turing" building.

The Digital Class is immediately outside the "Alan Turing" building, in a separate small house.

Software