Verifying Concurrent C Programs with Abstraction in Theta

Name: Verifying Concurrent C Programs with Abstraction in Theta
Published: 2025-03-27T00:00:00+08:00

数据链接：

官方服务：

资源简介：

Dataset for our publication entitled "Verifying Concurrent C Programs with Abstraction in Theta".

创建时间：

2025-03-27