You are here
Model Based Design and Safety Assessment at FBK
Location:
FORTISS - Munich (20/11/2015)
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: