GenMC: Model checking for concurrent C programs - discu.eu

Hacker News

GenMC: Model checking for concurrent C programs https://plv.mpi-sws.org/genmc/ 3 comments 10/11/2024

Linking pages

GitHub - microsoft/mimalloc: mimalloc is a compact general purpose allocator with excellent performance. https://github.com/microsoft/mimalloc 219 comments

Related searches:

Search whole site: site:plv.mpi-sws.org

Search title: GenMC: Model checking for concurrent C programs

See how to search.

Submit link to: