Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Cgaal

An on-the-fly, multi-threaded ATL model checker on concurrent game structures
Stars
6
License
agpl-3.0
Open Issues
12
Most Recent Commit
6 months ago
Programming Language
Rust
Categories
Repo
Alternatives To Cgaal
Select To Compare
P ⭐ 2,845
The P programming language.
dependent packages 1total releases 3most recent commit 4 months agonuget PCheckerCore} Downloads
Kani ⭐ 1,699
Kani Rust Verifier
total releases 44most recent commit 3 months ago
Lime ⭐ 470
Local Interpretable Model-Agnostic Explanations (R port of original Python package)
dependent packages 3total releases 8most recent commit 2 years ago
Seahorn ⭐ 391
SeaHorn Verification Framework
most recent commit 6 months ago


Suggest An Alternative To CGAAL
Popular Software Quality Categories
Testing
Code Coverage
Mock
Selenium
Jest
Tap
Mocha
Test Driven Development
Rspec
Junit
Related Searches
Rust Model Checking
Rust Model Checker

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Rust
Model Checking
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.