PAT: Process Analysis Toolkit

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

Weak Fair and Strong Fair annotations are supported by PAT now

Originally, PAT supports only weak live and strong live events. To make PAT more useful, weak fair and strong fair events are supported.