PAT: Process Analysis Toolkit

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

17, June, 2008: PAT is presented in TASE 2008

Our paper Bounded Model Checking of Compositional Processes is presented at 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008).