Model Based Design and Safety Assessment at FBK

Programme:

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