PAT model checker

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:software
model checker
gptkbp:developer gptkb:National_University_of_Singapore
gptkbp:feature gptkb:graphical_user_interface
modular design
command line interface
customizable verification engines
https://www.w3.org/2000/01/rdf-schema#label PAT model checker
gptkbp:license gptkb:GPL
gptkbp:operatingSystem gptkb:Windows
gptkbp:programmingLanguage gptkb:C#
gptkbp:supports distributed systems
real-time systems
concurrent systems
probabilistic systems
gptkbp:website https://pat.comp.nus.edu.sg/
gptkbp:bfsParent gptkb:Communicating_Sequential_Processes
gptkbp:bfsLayer 6