Die Proceedings der sechsten IFM‑Konferenz in Oxford bündeln innovative Ansätze zur Integration formaler Methoden, beleuchten neue Modellierungswerkzeuge und zeigen deren Einsatz bei der Analyse von Echtzeit- und sicherheitskritischen Systemen.