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 3 months ago
Concuerror is a stateless model checking tool for Erlang programs.
Created
2014-04-04
2,399 commits to master branch, last one about a month ago
A Modern Probabilistic Model Checker
Created
2016-10-19
10,217 commits to master branch, last one 9 days ago
The Git repository for the mCRL2 toolset.
Created
2018-04-07
19,645 commits to master branch, last one 23 hours ago
The Eldarica model checker
Created
2014-07-20
706 commits to master branch, last one 13 days ago
A model checker for infinite-state systems.
Created
2014-10-03
943 commits to master branch, last one about a month ago
The LTSmin model checking toolset
Created
2014-10-13
3,789 commits to master branch, last one 3 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