Welcome to the TfL training Verifying Systems in the Face of Uncertainty!
Here the Agenda for the today:
| Day No. | Title | Duration | Schedule |
|---|---|---|---|
| 1 | Greeting and setting up the execution environment | 15 min | 09:00 - 09:15 |
| 1 | what is probabilistic model checking? | 60 min | 09:15 - 10:15 |
| 1 | Demo | 30 min | 10:15 - 10:45 |
| 1 | Coffee break | 15 min | 10:45 - 11:00 |
| 1 | Fault trees | 45 min | 11:00 - 11:45 |
| 1 | Parameter synthesis | 30 min | 11:45 - 12:15 |
| 1 | Hands-on exercise | 30 min | 12:15 - 12:45 |