Compositional verification of concurrent C programs with search structure templates

[PDF] acm.org

SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures

X Sun, R Gupta - Proceedings of the 2024 ACM SIGPLAN International …, 2024 - dl.acm.org
Concolic testing combines concrete execution with symbolic execution to automatically
generate test inputs that exercise different program paths and deliver high code coverage …
相关文章 所有 2 个版本

Verifying a C Implementation of Derecho's Coordination Mechanism Using VST and Coq

R Nagasamudram, L Beringer, K Birman… - NASA Formal Methods …, 2024 - Springer
Derecho is a C++ framework for distributed programming leveraging high performance
communication primitives such as RDMA. At its core is the shared state table (SST), a …
相关文章 所有 3 个版本

Verifying a C Implementation of Derecho's Coordination Mechanism Using VST and Coq

M Milano, DA Naumann - … Symposium, NFM 2024, Moffett Field, CA … - books.google.com
Derecho is a C++ framework for distributed programming leveraging high performance
communication primitives such as RDMA. At its core is the shared state table (SST), a …
相关文章