Repositories list

• CGAAL

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

  model-checkingatlhacktoberfest+ 4model-checkeron-the-flyatl-logicatl-checker

  Rust

  •

  GNU Affero General Public License v3.0

  •1•10•11•0•Updated Feb 1, 2024Feb 1, 2024

• results-model-checker

  Public
  0•0•0•0•Updated Aug 29, 2023Aug 29, 2023

• benchmark-model-checker

  Public
  Python

  •

  GNU General Public License v3.0

  •0•0•1•0•Updated Aug 28, 2023Aug 28, 2023

• Prism-modeling

  Public
  Python

  •1•0•0•0•Updated Jul 5, 2023Jul 5, 2023

• encode-game-structure

  Public
  Python

  •0•1•0•0•Updated May 6, 2021May 6, 2021