8 results found Sort:
- Filter by Primary Language:
- C++ (3)
- C (2)
- Erlang (1)
- Rust (1)
- Scala (1)
- +
A model checker for implementing distributed systems.
Created
2018-03-03
437 commits to master branch, last one 5 months ago
Concuerror is a stateless model checking tool for Erlang programs.
Created
2014-04-04
2,403 commits to master branch, last one 28 days ago
A Modern Probabilistic Model Checker
Created
2016-10-19
10,234 commits to master branch, last one 2 days ago
The Git repository for the mCRL2 toolset.
Created
2018-04-07
19,776 commits to master branch, last one a day ago
The Eldarica model checker
Created
2014-07-20
726 commits to master branch, last one 16 days ago
A model checker for infinite-state systems.
Created
2014-10-03
943 commits to master branch, last one 3 months ago
The LTSmin model checking toolset
Created
2014-10-13
3,789 commits to master branch, last one 4 months ago
Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
Created
2022-01-22
6 commits to main branch, last one 2 years ago