Model Based Design and Safety Assessment at FBK

by Pietro Braghieri

Nov 20, 2015

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

Recent Posts