Modeling B-trees in TLA+ (via hwayne) — discussion

#databases #formalmethods