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