PIChecker extends CPAchecker with PC-DPOR and C-Intp strategies. This tool is used for verifying the reachability properties of concurrent programs.
This project aims to leverage existing open-source LLMs such as ChatGPT and the CPAchecker verification suite to enhance configurable program analysis.
收集整理软件缺陷检测相关论文
CPAchecker算法扩展基础平台
Contributions last year: 2060
Max continuous contributions: 13
Recent contributions: 3
Commits, issues, and pull requests will appear on your contribution graph. Only when the email address used for the commits in local configuration is associated with your GitOSC account, the commits' contribution will be counted.
