Ein tiefgreifendes Lehrbuch, das die theoretischen Grundlagen des stochastischen Modellprüfens mit anspruchsvollen Fallstudien aus der Praxis verknüpft und fortgeschrittene Techniken wie probabilistische Zustandsanalyse sowie Verifikation von Zufallsprozessen detailliert erläutert.