Ed Clarke’s talk about Model Checking in Suzhou

On November 23, our group (Zhengwei Qi, Haiyang Sun, and Lu Gong) participated Ed Clarke’s (Turing Award 2007) academic workshop on Model Checking, and discussed with Prof. Xinyu Feng’s team in USTC Suzhou Institute.