PAT: Process Analysis Toolkit

An Enhanced Simulator, Model Checker and Refinement Checker for Concurrent and Real-time Systems


PAT group together with Turing Award winner Tony Hoare (in center) in his visit to our lab in 2008.

Research Collaborations

We own thanks to research collaborators, including Prof. Jun Pang, Prof. Hai Wang, Prof. Jing Sun, Prof. Wei Chen, Prof. Annie Y. Liu and Prof. Geguang Pu.

We would like to thank Prof. Jing Sun, Prof. Hugh Anderson, Prof. Jonathan S. Ostroff for using PAT for the course teaching. Their valuable feedback made PAT more suitable for teaching.

We are very grateful for the valuable comments and suggestions from professor Tony Hoare, professor Joxan Jaffar, professor Jim Woodcock, professor Jim Davis, professor Jens Palsberg, professor Auguston Mikhail, professor Kokichi FUTATSUGI, professor Phil Brooke, professor Kenji Taguchi, professor Doron A. Peled so on.

Japanese User Group

We have special thanks to our Japanese user group, especially Hiroshi Fujimoto, Kenji Taguchi, Masaru Nagaku, Toshiyuki Fujikura.