An on-the-fly, multi-threaded ATL model checker on concurrent game structures
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool