Add German cache-coherence protocol example (Murphi > TLA+)#214

Merged

lemmy merged 12 commits into

tlaplus:masterfrom

lemmy:mku-german

Jul 20, 2026

Commits on Jul 16, 2026

Add German cache-coherence protocol example with TLC and Apalache models

lemmy
and
claude
committed
Document ABS_RecvInvAck's noninterference conjunct

lemmy
and
claude
committed
Towards idiomatic TLA+: Merge shared/exclusive action pairs.

lemmy
and
claude
committed

Commits on Jul 20, 2026