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
430 commits to master branch, last one 3 months ago
Concuerror is a stateless model checking tool for Erlang programs.
Created
2014-04-04
2,393 commits to master branch, last one 14 days ago
A Modern Probabilistic Model Checker
Created
2016-10-19
10,194 commits to master branch, last one 5 days ago
The Git repository for the mCRL2 toolset.
Created
2018-04-07
19,506 commits to master branch, last one 13 hours ago
The Eldarica model checker
Created
2014-07-20
696 commits to master branch, last one 11 days ago
A model checker for infinite-state systems.
Created
2014-10-03
942 commits to master branch, last one 3 years ago
The LTSmin model checking toolset
Created
2014-10-13
3,780 commits to master branch, last one 9 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