PAT (Process Analysis Toolkit)

GPTKB entity

Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:software
gptkbp:developedBy gptkb:National_University_of_Singapore
https://www.w3.org/2000/01/rdf-schema#label PAT (Process Analysis Toolkit)
gptkbp:implementedIn process algebra
gptkbp:license free for academic use
gptkbp:platform gptkb:Windows
gptkbp:supports distributed systems
real-time systems
concurrent systems
probabilistic systems
gptkbp:usedFor formal verification
model checking
gptkbp:website http://pat.comp.nus.edu.sg/
gptkbp:writtenBy gptkb:C#
gptkbp:bfsParent gptkb:Communicating_Sequential_Processes_(CSP)
gptkbp:bfsLayer 7