Dartagnan
What is Dartagnan?
Dartagnan is a tool for verifying memory models. It allows researchers and developers to formally specify and analyze memory models, which are crucial for understanding the behavior of concurrent programs on modern multi-core processors. It's used for specifying weak memory models and verifying the correctness of concurrent algorithms and data structures under those models. The Github repository contains the tool and related research papers and benchmarks.
Which job functions mention Dartagnan?
Which organizations are mentioning Dartagnan?
This tech insight summary was produced by Sumble. We provide rich account intelligence data.
On our web app, we make a lot of our data available for browsing at no cost.
We have two paid products, Sumble Signals and Sumble Enrich, that integrate with your internal sales systems.