Formal modeling and correctness verification of an AI drilling system based on Communicating Sequential Processes. - Hao Yang; Shunlei Xia; Yucheng Xue; Xukun Yang; Fang Yang; Yang Yuan; Wanling Xie (Array, 2026)