PAT


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.

Applications


  • 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

Contact us