FM2011 features a tutorial program of two full days, with two tracks running in parallel.
Program
Monday afternoon, 20 June 2011
Elena Troubitsyna et al.: "Correct-by-Construction Development of Fault Tolerant Systems"
Jun Sun and Jin Song Dong: "Build Your Own Model Checker in One Month"
Tuesday morning, 21 June 2011
Viktor Vafeiadis and Cliff Jones: "Rely/Guarantee-thinking and Separation Logic"
Peter Gorm Larsen and Marcel Verhoef: "Design of Real-time Embedded Control Systems using VDM++ and Bond graphs"
Tuesday afternoon, 21 June 2011
Peter Gorm Larsen and Marcel Verhoef: "Design of Real-time Embedded Control Systems using VDM++ and Bond graphs" (continued)
TUTORIALS CHAIR
Nico Plat, West Consulting, The Netherlands