"Formal Methods: Foundations and Applications" ist eine umfassende Sammlung von Fachbeiträgen, die die Ergebnisse des 16. Brasilianischen Symposiums über formale Methoden dokumentiert. Diese Konferenz fand in Brasília im September/Oktober 2013 statt und brachte Experten zusammen, um die neuesten Entwicklungen in den Bereichen Software- und Hardware-Design sowie -Analyse zu diskutieren. Die 14 überarbeiteten Volltexte, die zusammen mit zwei einführenden Vorträgen präsentiert werden, bieten einen tiefen Einblick in grundlegende und methodologische Fragestellungen der formalen Methoden. Die Beiträge wurden sorgfältig aus 29 eingereichten Arbeiten ausgewählt und decken ein breites Spektrum an Anwendungen in verschiedenen Bereichen ab. Dieses Buch ist eine wertvolle Ressource für Fachleute und Studierende, die sich mit den theoretischen und praktischen Aspekten formaler Methoden auseinandersetzen möchten.