Software Development
Linearizability Checker
Check linearizability of concurrent data structure implementations
- Publisher / source
- a5c-ai/babysitter (found on GitHub top repositories)
- Upstream record
- a5c-ai/babysitter
- Version
- Version 1
- Published
- Publication review
- Approved for publication · recorded passed scan 2026-11-08
- Content fingerprint
80099b1e161c457f8bfd4c4d50aef7ff3a15cda470d602f278bcf7ee27573034