1. School of Mathematical Sciences, Sichuan Normal University, Chengdu, China
2. Institute of Intelligent Information and Quantum Information, Sichuan Normal University, Chengdu, China
3. Research Center of Sichuan Normal University, National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, Chengdu, China
4. College of Computer Science, Sichuan Normal University, Chengdu, China