Theoretische Grundlagen und Model-Checking für Abstract-State-Machines

抽象状态机的理论基础和模型检查

• 批准号: 5162256
• 负责人: Professor Dr. Erich Grädel
• 金额: --
• 依托单位: Informatik 7: Lehr- und Forschungsgebiet für Mathematische Grundlagen der Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 1999
• 资助国家: 德国
• 起止时间: 1998-12-31 至 2001-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5162256?language=en
• 关键词: Theoretische; Grundlagen; und; Model; Checking

Ziel dieses Vorhabens ist einerseits eine grundlegende Untersuchung ob, und wie effizient Model-Checking für Abstract-State-Machines durchgeführt werden kann, und andererseits die Bereitstellung komplexitäts- und modelltheoretische Grundlagen für Abstract-State-Machines.

Ziel dieses Vorhabens ist einterseits eine grundlegende Untersuchung ob, und wie efficient Model-Checking f<s:1> r Abstract-State-Machines durchgef<e:1> hrt werden kann, und andererseits die Bereitstellung komplexitäts- und modeltheortische Grundlagen f<e:1> r Abstract-State-Machines。