PAT: Process Analysis Toolkit

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

Monthly archives for December, 2018

20 Year ICFEM Most Influential System Award

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 ICFEM founder Prof. Shaoying Liu (FIEEE) at 20th ICFEM on 14 Nov 2018.
Sir Tony C.A.R. Hoare (Turing Award) was awarded the 20 Year ICFEM Most Influential Person Award. Prof. Michael Butler was awarded 20 Year ICFEM Outstanding Service Award.

pat2018award