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.
Happy New Year! After half year’s development. PAT 3.5.0 is out. After PAT 3.5.0, .NET framework 4.0 is required to run PAT.There are a number of new features and bugs [...]
1 Bug fixing for all modules for deadlock checking and divergence checking for some special cases. 2 In simulator, a Simulate Trace button is added to allow users to write a [...]
Our paper Bounded Model Checking of Compositional Processes is presented at 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008).
evolve theme by Theme4Press • Powered by WordPress