atl-checker

There are 0 repository under atl-checker topic.

• d702e20 / CGAAL

  An on-the-fly, multi-threaded ATL model checker on concurrent game structures

  atlmodel-checkingmodel-checkeron-the-flyatl-logicatl-checkerhacktoberfest
  Language:Rust 10