PAT: Process Analysis Toolkit

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

29, May, 2011: PAT Student Team won ICSE Score Formal Methods Award

PAT Student team (Li Yi, Yang Hang and Wu Huanan) won the Formal Methods Award in SCORE 2011 in Honolulu, Hawaii. There are only two awards: Formal Methods Award and Overall Award.

The system they developed is Transport4You, an intelligent public transportation manager, which employs formal methods during system design, implementation, testing and verification. PAT is used as a model checker and decision maker in the project.

Statistics for SCORE 2011: 94 registrations from 48 universities in 22 countries, 55 submissions, 18 selected for the second round, 5 finalist teams invited to ICSE.