There are 0 repository under atl-checker topic.
An on-the-fly, multi-threaded ATL model checker on concurrent game structures