Diese Seite auf DE
Event
Decision Procedures with Applications to Software Verification [WS202400073]
Lecturers
Organisation
- ITI Sinz
Part of
Appointments
- 03.11.2020 12:00 - 13:30
- 04.11.2020 16:00 - 17:30
- 10.11.2020 12:00 - 13:30
- 11.11.2020 16:00 - 17:30
- 17.11.2020 12:00 - 13:30
- 18.11.2020 16:00 - 17:30
- 24.11.2020 12:00 - 13:30
- 25.11.2020 16:00 - 17:30
- 01.12.2020 12:00 - 13:30
- 02.12.2020 16:00 - 17:30
- 08.12.2020 12:00 - 13:30
- 09.12.2020 16:00 - 17:30
- 15.12.2020 12:00 - 13:30
- 16.12.2020 16:00 - 17:30
- 22.12.2020 12:00 - 13:30
- 23.12.2020 16:00 - 17:30
- 12.01.2021 12:00 - 13:30
- 13.01.2021 16:00 - 17:30
- 19.01.2021 12:00 - 13:30
- 20.01.2021 16:00 - 17:30
- 26.01.2021 12:00 - 13:30
- 27.01.2021 16:00 - 17:30
- 02.02.2021 12:00 - 13:30
- 03.02.2021 16:00 - 17:30
- 09.02.2021 12:00 - 13:30
- 10.02.2021 16:00 - 17:30
- 16.02.2021 12:00 - 13:30
- 17.02.2021 16:00 - 17:30
- 01.03.2021 10:00 - 14:45 - Room: 50.34 Raum 236
- 29.03.2021 10:00 - 15:30 - Room: 50.34 Raum 236
Note
In this lecture we will present decision procedures that are used in software verification.
Such decision procedures are typically implemented in SMT solvers.