Ein wissenschaftliches Sammelwerk aus der vierten ABZ-Konferenz in Toulouse, das aktuelle Beiträge zu abstrakten Zustandsmaschinen und formalen Spezifikationssprachen wie Alloy, B, TLA+, VDM und Z präsentiert und sowohl theoretische Grundlagen als auch praxisnahe Anwendungen beleuchtet.