Dartagnan
**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.
What other technologies are related to Dartagnan?
Dartagnan Competitor Technologies
Which job functions commonly mention Dartagnan?
Which organizations are mentioning Dartagnan?
Sumble Find the right accounts, contact, message, and time to sell
Whether you're looking to get your foot in the door, find the right person to talk to, or close the deal — accurate, detailed, trustworthy, and timely information about the organization you're selling to is invaluable.
Use Sumble to: