CUBA (Context-UnBounded Analysis) contains algorithms for context-unbounded reachability analysis for concurrent programs. The program could contain recursion in which case reachability analysis is undecidable even for two threads.
- git clone https://github.com/lpzun/cuba.git
- make
./cuba -h [--help]