Formal Modeling and Verification of Convolutional Neural Networks based on MSVL. - Liang Zhao 021; Leping Wu; Yu Gao; Xiaobing Wang; Bin Yu 008 (DSA, 2022)