At a Glance
| Applications | Model Checker |
| Licenses | AGPL-v3 |
| Maintenance | Actively Maintained |
Description
CGAAL is a model checker of alternating-time temporal logic (ATL) properties on concurrent game structures (CGSs).
| Applications | Model Checker |
| Licenses | AGPL-v3 |
| Maintenance | Actively Maintained |
CGAAL is a model checker of alternating-time temporal logic (ATL) properties on concurrent game structures (CGSs).