A Tool Overview of CGAAL: A Distributed On-The-Fly ATL Model Checker
Too Long; Didn't Read
This paper is available on arxiv under CC 4.0 license. The syntax of the language is inspired by PRISM-lang used by the PRISM model checker to model stochastic multi-player games with rewards. The primary feature of CGAAL is the verification of ATL properties for CGSs.