@lapulatos
Lapulatos 暂无简介
收集整理软件缺陷检测相关论文
This project aims to leverage existing open-source LLMs such as ChatGPT and the CPAchecker verification suite to enhance configurable program analysis.
CPAchecker算法扩展基础平台
PIChecker extends CPAchecker with PC-DPOR and C-Intp strategies. This tool is used for verifying the reachability properties of concurrent programs.
