By Darren Cofer, Alessandro Fantechi
This ebook constitutes the completely refereed post-workshop complaints of the thirteenth foreign Workshop on Formal tools for business severe platforms, FMICS 2008, held in L'Aquila, Italy, in September 2008 - colocated with ASE 2008, the twenty third overseas convention on automatic software program Engineering. The 14 revised complete papers awarded including the abstracts of three invited shows and a couple of brief shows introducing the panel have been conscientiously chosen from 36 preliminary submissions. The papers try to advertise study and improvement for the development of formal tools and instruments for business functions. They disguise themes similar to version checking, trying out, software program verification, real-time functionality, and business case reviews.