Ein praxisorientiertes Werk, das die neuesten Erkenntnisse zur Modellierung, Analyse und Verifikation von Softwaresystemen aus der 25. TACAS-Konferenz zusammenführt, mit klaren Algorithmen und Fallstudien für Entwickler und Forscher.