"Formal Methods: Foundations and Applications" is a comprehensive collection of expert contributions that documents the results of the 16th Brazilian Symposium on Formal Methods. This conference took place in Brasília in September/October 2013 and brought together experts to discuss the latest developments in software and hardware design and analysis. The 14 revised full texts, presented alongside two introductory talks, provide deep insights into fundamental and methodological issues of formal methods. The contributions were carefully selected from 29 submitted papers and cover a wide range of applications in various fields. This book is a valuable resource for professionals and students who wish to engage with the theoretical and practical aspects of formal methods.