Abstraktionstechniken zur Verifikation lokaler Eigenschaften großer paralleler Systeme

这些项目是抽象法的发展，是验证（d.h.在形式上，它是并行系统的特征值。在抽象检验法的基础上，验证本地特征的要素仅限于信息和要素。Abstraktion可以在一个不受限制的格拉德代表中验证组件和Restsystem的特性，从而使其在一个小的空间中运行。技术的核心将使更多的逻辑转向结构的局部化，抽象的抽象将使普遍存在的特征也得到消除。

Zielsetzung dieses Projektes ist die Entwicklung von Abstraktionsverfahren, die die Verifikation (d.h. den formalen Nachweis der Korrektheit) lokaler Eigenschaften von parallelen Systemen erlauben. Basisidee des Abstraktionsverfahren ist die Annahme, dass die Verifikation lokaler Eigenschaften einzelner Komponenten nur Informationen über andere Komponenten in einem begrenzten Umfeld benötigt. Die Abstraktion kann die eigentlich zu verifizierende Komponente und das Restsystem in einem unterschiedlichen Grad repräsentieren und so den zu durchsuchenden Zustandsraum klein halten. Kernpunkt der Technik wird die Verwendung von mehrwertigen Logiken zur Darstellung partieller Strukturen sein, die Abstraktionen mit sehr präzisen Aussagen sowohl über universelle als auch existentielle Eigenschaften erlauben.