Erleben Sie in diesem Sammelband die neuesten Erkenntnisse des sechsten internationalen Symposiums zu formalen Methoden aus Houston (April 2014). Die Beiträge verbinden theoretische Grundlagen mit praxisnahen Anwendungen, von neuen Algorithmen bis hin zu Fallstudien in der Softwareentwicklung.