GitHub - elastic/elasticsearch-formal-models: Formal models of core Elasticsearch algorithms

github.com

saved by: 0 people
related read on: Introduction to TLA+ Model Checking in the Command Line from the discussion