| Time |
Speaker |
Affiliation |
Title |
| 09:00 – 09:30 |
Besik Dundua |
Kutaisi International University, Georgia |
First-Order Safety Properties |
| 09:30 – 10:00 |
Peter Csaba Ölveczky |
University of Oslo, Norway |
Validation of Cloud Storage Systems using Rewriting Logic |
| 10:00 – 10:30 |
Isabela Isabela Drămnesc |
West University of Timisoara, Romania |
Techniques for Algorithm Verification and Synthesis in Theorema |
| 10:30 – 11:00 |
Coffee Break |
| 11:00 – 11:30 |
Mircea Marin |
West University of Timisoara, Romania |
Verification of Safety Properties of ABAC models with rhoLog |
| 11:30 – 12:00 |
Mario Reja |
West University of Timisoara, Romania |
Introduction to Cyber Physical Systems |
| 12:00 – 12:30 |
Mikheil Rukhaia |
Tbilisi State University, Georgia |
About Verification Techniques of Cyber Physical Systems |
