Pervasive Model Checking
Build Your Own Model Checker with PAT
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 [...]
We have issued some minor fixes and upgrades for PAT version 3.5.1. This can be downloaded from the Download Page.
In this release, we publish the Timed Automata Module in PAT.The details about this module can be found in the link.
We have restructured the code to a better archetecture.There is no function improvement.