General Info
Date: 20 Nov 2015
Location: FORTISS - Munich
Programme
| 9.00-9.10 | Marco Roveri "Brief presentation of FBK" |
| 9.10-10.10 | Marco Roveri "Formal methods for functional verification" |
| 10.10-11.10 | Marco Bozzano "Formal methods for safety analysis" |
| 11.10-11.30: Break | |
| 11.30-12.30 | Stefano Tonetta "Contract-based analysis of architectural designs" |
| 12.30-13.00 | Open discussion |
Slides presented in this workshop:
- Overview
- Functional Verification
- Safety Assesment
- Contract-based Architectural Analysis