Thanks to Prof. Kenji Taguchi from National Institute of Informatics, Japan. PAT had its first user group (in Japan) now. Anyone interested in joining or forming a user group, please do not hesitate to About Us.
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 morePervasive Model Checking
Read moreBuild Your Own Model Checker with PAT
Read more6 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 have issued some minor fixes and upgrades for PAT version 3.5.1. This can be downloaded from the Download Page.
Read moreThanks to Prof. Kenji Taguchi from National Institute of Informatics, Japan. PAT had its first user group (in Japan) now. Anyone interested in joining or forming a user group, please do not hesitate to About Us.
![]() |
![]() |
![]() |
![]() |
![]() |