Ein kompakter Sammelband aus der neunten VMCAI-Konferenz in San Francisco, der aktuelle Forschung zu Modellprüfung und abstrakter Interpretation zusammenfasst; theoretische Durchbrüche, praktische Anwendungen und interdisziplinäre Perspektiven für die Softwareverifikation.