An Enhanced Simulator, Model Checker and Refinement Checker for Concurrent and Real-time Systems
-
20 Year ICFEM Most Influential System...
3 founders Jun, Yang and Jin Song have been awarded the 20 Year ICFEM Most Influential System Award for developing the PAT verification system. The award was presented by the [...]
Read more -
PAT group’s PhD students gradua...
6 PhD students in PAT group have successfully graduated at NUS in 2015. Congratulations to Dr. Bai Guangdong, Dr. Gui Lin, Dr. Liu Shuan, Dr. Liu Yan, Dr. Nguyen Truong Khanh [...]
Read more