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