实验室博士研究生何雷锋同学与其导师刘关俊教授的研究论文“Petri Net Based CTL Model Checking: Using a New Method to Construct OBDD Variable Order"被the 15th International Symposium on Theoretical Aspects of Software Engineering (TASE2021，CCF C类)录用。