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