By Michael Butler, Sylvain Conchon, Fatiha Zaïdi
This booklet constitutes the refereed court cases of the seventeenth overseas convention on Formal Engineering equipment, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised complete papers provided have been conscientiously reviewed and chosen from eighty two submissions. The papers disguise quite a lot of subject matters within the quarter of formal equipment and software program engineering and are dedicated to advancing the cutting-edge of utilising formal tools in perform. They concentration specifically on combos of conceptual and methodological points with their formal origin and power support.