d702e20/CGAAL

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

RustStars 10Forks 1Watchers 10Open issues 12License GNU Affero General Public License v3.0

Details

仓库信息

Ownerd702e20

Homepage—

Last pushed2024-02-01

Last updated2025-12-15

Issues fetched at—

Community at a glance