Software Development
Memory Model Analyzer
Analyze programs under various memory models for concurrent correctness
- 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
8aeff0de07bbf23d476e01e8d7e9130bf7c320670aeadb0640fd1fbc69ddc527