This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian
Symposium on Formal Methods SBMF 2014 held in Maceió Brazil in September October 2014. The
9 revised full papers presented together with 2 invited talks were carefully reviewed and
selected from 34 submissions. SBMF is an event devoted to the dissemination of the development
and use of formal methods for the construction of high quality computational systems aiming to
promote opportunities for researchers with interests in formal methods to discuss the recent
advances in this area.
