In this release, we publish the Timed Automata Module in PAT.
The details about this module can be found in the link.
Site Statistics
 Visit Today : 1 |
 This Month : 2 |
 This Year : 153 |
 Total Visit : 51037 |
 Hits Today : 185 |
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