Ein Fachband aus dem fünften SOFL+MSVL‑Workshop in Paris, der neu überarbeitete Beiträge zu formalen Spezifikationen und Modellierung objektorientierter Systeme zusammenfasst und innovative Ansätze zur Verifikation präsentiert.