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 a zip file

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