PAT: Process Analysis Toolkit

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

13, Oct, 2010: PAT API is released!

API for PAT.Common.dll

The CHM version can be downloaded HERE.
This file include all methods and fields for PAT.Common project. All module needs to follow these APIs in order to be recongnized by PAT framework.
Please refer to user manual on how to use the APIs to develop custimized module in PAT.