Model Based Design and Safety Assessment at FBK

9-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