PAT: Process Analysis Toolkit

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

06, Oct, 2008: New URL and PAT MailList

PAT has its own domain now:
The email address is “pat at comp dot nus dot edu dot sg”, replace dot with ‘.’

Send an email to pat to join the mail list to get the update of PAT!

Note: due to the URL change, the auto update function will not working for the old version of PAT.
Please download the new version!