A Tool Overview of CGAAL: A Distributed On-The-Fly ATL Model Checker

This story was originally published on HackerNoon at: https://hackernoon.com/a-tool-overview-of-cgaal-a-distributed-on-the-fly-atl-model-checker.
The syntax of the language is inspired by PRISM-lang used by the PRISM model checker to model stochastic multi-player games with rewards.
Check more stories related to science at: https://hackernoon.com/c/science. You can also check exclusive content about #heuristics, #cgaal, #what-is-cgaal, #atl-model-checker, #what-is-atl, #cgaal-tool-overview, #atl-formula, #computer-science, and more.

This story was written by: @heuristicsearch. Learn more about this writer by checking @heuristicsearch's about page, and for more stories, please visit hackernoon.com.

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.