pragmaticformalmodeling

pragmaticformalmodeling copied to clipboard

https://github.com/ElliotSwart/pragmaticformalmodeling/blob/ea86b1b5852d49d60d82d944e4807774392e1414/caching/naive-model/cacherequirements.tla#L32 Checking the property `[]DatabaseAndCacheConsistent` with the definition where cache misses are permissible (above), is satisfied by, e.g., the trivial system of an always empty cache. For example, `[]DatabaseAndCacheConsistent` holds...

lemmy

This is extremely good

1

That's all

hwayne