1 briefs tagged #persistence.
The RESUME CONTRACT uses TLA+ and a deterministic harness to check persistence behavior.