Dieses Buch bietet einen tiefgehenden Einblick in fortschrittliche Werkzeuge und Algorithmen zur Konstruktion und Analyse von Softwaresystemen, fasst die neuesten Erkenntnisse der TACAS‑Konferenz zusammen und liefert praxisnahe Beispiele für deren Anwendung.