Mingfu Tuo, Xiaoqiang Zhao, Wenliang Wu, Bo Shen. Safety Verification Technology of CPS Based on Theorem Proving. In 23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023 Companion, Chiang Mai, Thailand, October 22-26, 2023. pages 643-645, IEEE, 2023. [doi]
Abstract is missing.