Äquivalenzen zur Verifikation stochastischer Systeme und deren Klassifizierung

在Diesem Forschungsvorhaben是Quvalenzen für随机Prozesskalküle untersuht，D.H.Für Spezifikages zur Modellierung von Systeman，die zufäligen Einflüssen unterliegen bzw.für die auachtische annahmen sinnvoll sind.在此基础上，提出了一种新的系统模型和验证模型。我的工作是从循道而行的项目中进行验证，以获得更多的信息。作为一个结果是在一个国家的抽象，这是一个很好的地理系统和生物的系统和手的生物系统是唯一的，这是我们的验证。

In diesem Forschungsvorhaben werden Äquivalenzen für stochastische Prozesskalküle untersucht, d.h. für Spezifikationsformalismen zur Modellierung von Systemen, die zufälligen Einflüssen unterliegen bzw. für die stochastische Annahmen sinnvoll sind. Jede Äquivalenz besitzt einen unterschiedlich starken Abstraktionsgrad im Hinblick auf das spezifizierte System und verifiziert auf der jeweiligen Abstraktionsebene die Gleichheit zweier (als Transitionssystem gegebener) Modelle. Dabei werden Methoden für klassische Prozesskalküle aus dem Verifikationsbereich mit Methoden aus der stochastischen Modellierung großer komplexer Systeme kombiniert. Das Resultat ist eine nach Abstraktionsgrad geordnete Auswahl von „Gleichheitsbegriffen", die zu Verifikationszwecken verwendet werden können und deren Nutzen anhand von Beispielsystemen aus der Biologie gezeigt werden soll.