00

litmus tests

Technique ☆ WATCH ⎘ SHARE

First seen 7/3/2026

Last seen 7/3/2026

Evidence 9 chunks

01

NEIGHBORHOOD

1 nodes · 0 edges

graph · litmus tests · depth=1

02

RELATIONSHIPS

3 connections

HARTBREAKER ← uses 95% 3e evidence

HARTBREAKER uses litmus tests to verify memory consistency model compliance.

synchronization anchors ← uses 90% 2e evidence

Synchronization anchors scope non-determinism to allow verification with litmus tests.

memory consistency model evaluates → 100% 2e evidence

Litmus tests evaluate specific memory consistency scenarios.