In this section, we present the performance study of PAT. Note that we are actively profiling and fine-tuning PAT and thus the experiment results may vary day-to-day. The classification of the examples can be obtained from this document.
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 section, we present the performance study of PAT. Note that we are actively profiling and fine-tuning PAT and thus the experiment results may vary day-to-day. The classification of the examples can be obtained from this document.
![]() |
![]() |
![]() |
![]() |
![]() |