Atomizer
From MaRDI portal
Software:20920
swMATH8924MaRDI QIDQ20920FDOQ20920
Author name not available (Why is that?)
Cited In (16)
- Trace-based derivation of a scalable lock-free stack algorithm
- Dynamically checking ownership policies in concurrent c/c++ programs
- SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
- Symbolic predictive analysis for concurrent programs
- Dependence analysis for safe futures
- Atomizer: A dynamic atomicity checker for multithreaded programs
- Verification of STM on relaxed memory models
- Atomizer
- Adaptive locks: combining transactions and locks for efficient concurrency
- A dynamic logic for deductive verification of multi-threaded programs
- AtomCaml
- Model Checking Database Applications
- Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency
- Strict Linearizability and Abstract Atomicity
- Trace-Based Symbolic Analysis for Atomicity Violations
- The Complexity of Predicting Atomicity Violations
This page was built for software: Atomizer
