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
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 moreWe conducted experiments of 5 leader election protocols for PAT version 1.2.2. The performance result can be found in here. The 5 protocols are built inside PAT examples. Regarding the Spin model, they can be downloaded here.
The experiments is conducted in a Core 2 CPU 6600 @ 2.40GHz with 2GB RAM.
 Visit Today : 1 |
 This Month : 20 |
 This Year : 111 |
 Total Visit : 51360 |
 Hits Today : 744 |
