@mujueke
mujtke no introduction.
PIChecker extends CPAchecker with PC-DPOR and C-Intp strategies. This tool is used for verifying the reachability properties of concurrent programs.
