Process Analysis Toolkit (PAT) is developed by Semantic Engineering (SemEng). It is a self-contained framework for simulating and verifying real-time, concurrent, and probabilistic systems.

Exclusive Partnership

SemEng is now expanding their market to Australia, Europe, and the US. Depintel is an exclusive partner and is responsible for the sales of PAT licences in these areas.


  • Cyber Security: static and run-time security verification
  • Blockchain: smart contract verification
  • Sports: probabilistic analysis of player's performance and match results
  • Autonomous systems: automated planning and trusted decision making

N-PAT: A Nested Model Checker

N-PAT implements a novel concept of nested model checking where a model may contain placeholders to be instantiated by the verification results of sub-models.

Download and documentation.

Conference Paper. Preprint. BibTex.

Contact us