Ein Fachband aus der VSTTE‑Konferenz Toronto 2016, der aktuelle Forschungsergebnisse zur verifizierten Software zusammenfasst – von theoretischen Modellen über Tool‑Entwicklungen bis zu experimentellen Validierungen.