PAT 1.2.3 is released with the support of user defined math library. Also the c# math functions are supported. look Accept C# code as customized functions for details.
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 morePAT 1.2.3 is released with the support of user defined math library. Also the c# math functions are supported. look Accept C# code as customized functions for details.
![]() |
![]() |
![]() |
![]() |
![]() |