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 moreIn this minor release, the update include the following:
1 Bugs for alphabet calculation are fixed in all modules.
2 Model Explorer is added in the GUI.
3 More examples are added in the CSP module.
 Visit Today : 1 |
 This Month : 2 |
 This Year : 153 |
 Total Visit : 51037 |
 Hits Today : 155 |
