Publisher: Springer; 2014 edition (May 21, 2014)
Format: PDF / Kindle / ePub
Size: 6.6 MB
Downloadable formats: PDF
This booklet provides eight educational lectures given by means of top researchers on the 14th version of the overseas tuition on Formal tools for the layout of machine, conversation and software program platforms, SFM 2014, held in Bertinoro, Italy, in June 2014.SFM 2014 was once dedicated to executable software program types and lined themes equivalent to variability types, automatic research recommendations, deductive verification, and runtime review and checking out. The papers gathered within the components (first half: modeling and verification; moment half: run-time evaluate and trying out) of this quantity symbolize the large diversity of themes of the varsity.