PAT: Getting started
What is PAT? Installation System Components ◦ Editor ◦ Simulator ◦ Model Checkers System Architecture Language Syntax Example Demonstration.