We have restructured the code to a better archetecture.
There is no function improvement.
An Enhanced Simulator, Model Checker and Refinement Checker for Concurrent and Real-time Systems
-
PAT group’s PhD students gradua...
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 [...]
Read more