PAT: Process Analysis Toolkit

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

06, Nov, 2010: PAT experiments are standardized and published

All experiments with configuration information, dataset are in the process of being standardized and made available at PAT website. The data is to show that PAT’s model checking library is highly optimized.
Details about the experiments can be found in Post to Post Links II error: No post found with slug "experiments".