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.