In this release, we publish the Timed Automata Module in PAT.
The details about this module can be found in the link.
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 moreIn this release, we publish the Timed Automata Module in PAT.
The details about this module can be found in the link.
![]() |
![]() |
![]() |
![]() |
![]() |