We’ll be back soon!
This is the Process Analysis Toolkit (PAT) model checker website (temporary)
You can read the PAT online manual
here
You can download PAT Windows Installer (*.msi) or simply unzip it
here
Sorry for the inconvenience but we’re performing some maintenance at the moment. If you need to you can always contact us, otherwise we’ll be back online shortly!
— The Team