Integrating Model Checking and Knowledge Dynamics for System Verification

集成模型检查和知识动态以进行系统验证

• 批准号: LP0347878
• 负责人: Prof Yan Zhang
• 金额: $ 4万
• 依托单位: Western Sydney University
• 依托单位国家: 澳大利亚
• 项目类别: Linkage Projects
• 财政年份: 2003
• 资助国家: 澳大利亚
• 起止时间: 2003-02-14 至 2006-02-13
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/LP0347878
• 关键词: Integrating; Model; Checking; Knowledge; Dynamics

The task of system verification is to ensure the correctness of system design and specification in some automatic way. The aim of this project is to develop a new methodology and technology for computer software system verification by integrating traditional model checking approach and knowledge dynamics modeling. By deriving the results of this project, we will understand how model checking and knowledge dynamics modeling can be integrated for more effective software verification and modification, which will significantly improve current software design and development procedures, increase the correctness and stability of software systems, and provide high security for e-Commerce transaction systems.

系统验证的任务是以某种自动的方式保证系统设计和规范的正确性。本课题旨在将传统的模型检验方法与知识动力学建模相结合，开发一种新的计算机软件系统验证方法和技术。通过推导本项目的结果，我们将了解如何将模型检查和知识动态建模相结合，以进行更有效的软件验证和修改，这将大大改善当前的软件设计和开发流程，提高软件系统的正确性和稳定性，并为电子商务交易系统提供高安全性。