Integrating Model Checking and Knowledge Dynamics for System Verification

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

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.