Ein kompakter Sammelband aus der VSTTE‑Konferenz, der theoretische Modelle, moderne Werkzeuge und experimentelle Erkenntnisse zur verifizierten Softwareentwicklung bündelt und damit Entwickler für formale Methoden begeistert.