This content is restricted to site members. If you are an existing user, please login. New users may register below.
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