Giters
d802f21 (d702e20)

d802f21

d702e20

Geek Repo

Previously d702e20

Github PK Tool:Github PK Tool

d802f21's repositories

CGAAL

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

Language:RustLicense:AGPL-3.0Stargazers:10Issues:3Issues:55

encode-game-structure

Language:PythonStargazers:1Issues:0Issues:0

benchmark-model-checker

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

Prism-modeling

Language:PythonStargazers:0Issues:4Issues:2

results-model-checker

Stargazers:0Issues:0Issues:0