• 1
• 1
• 0

Lapulatos / ConcurrencyPaper

• 2
• 0
• 0

Lapulatos / SoftwareVulnerabilityDetectionPaper

收集整理软件缺陷检测相关论文

• 2
• 0
• 0

Lapulatos / LLM4SS

This project aims to leverage existing open-source LLMs such as ChatGPT and the CPAchecker verification suite to enhance configurable program analysis.

• 1
• 0
• 0

Lapulatos / cpachecker-extend

CPAchecker算法扩展基础平台

• 3
• 0
• 0

Lapulatos / PIChecker

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