Verifikation nicht-regulärer Eigenschaften

非常规性质的验证

• 批准号: 16789390
• 负责人: Professor Dr. Martin Lange
• 金额: --
• 依托单位: Forschungsgruppe Theoretische Informatik/Formale Methoden
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2005
• 资助国家: 德国
• 起止时间: 2004-12-31 至 2009-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/16789390?language=en
• 关键词: Verifikation; nicht; regul; rer; Eigenschaften

Bislang hat sich die Verifikation verteilter, reaktiver, etc. Systeme auf das Beweisen von ¿ im Sinne der formalen Sprachen ¿ regulären Eigenschaften konzentriert. Im Rahmen dieses Projektes soll der Bereich derjenigen Eigenschaften, die automatisch durch Model Checking verifiziert werden können, ausgedehnt werden. Dies beinhaltet die Definitionen entsprechender Logiken und Model Checking Algorithmen für diese, deren Optimierungen sowie ihre theoretische wie auch experimentelle Validierung im Hinblick auf ihre Benutzbarkeit.

比朗认为，该模具的校核滤器、复位器等。系统分析与分析：系统分析与分析：系统分析与分析：系统分析与分析：系统分析与分析。在Rahmen diesesprojektes solitesberich derjenigen Eigenschaften， die automatisch durdurmodel Checking verizizierwerden können, ausgedehnt werden。模型的定义、逻辑检验和模型检验算法的定义、模型检验算法的定义、模型检验算法的定义、模型检验算法的定义、模型检验算法的定义、模型检验算法的定义、模型检验算法的定义、模型检验算法的定义、模型检验算法的定义、模型检验算法的定义、模型检验算法的定义。