HELP! I can't figure out a formal method for my final project!

• pluscal

  1 24 10.0 TLA

  Tests with PlusCal / TLA+

• azure-cosmos-tla

  2 259 0.0 TLA

  Azure Cosmos TLA+ specifications

  

If you want to do something about databases, there are some CosmosDB specifications in TLA+ https://github.com/Azure/azure-cosmos-tla

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• TLAPlusDocker

  1 8 10.0 Dockerfile

That's frustrating. Professor tooling can definitely be hit or miss. Someone tried to make TLA+ easier to use with Docker and VSCode: https://github.com/kevinsullivan/TLAPlusDocker

• snapshot-isolation-spec

  1 18 10.0 TLA

  A formal specification of snapshot isolation.

Another database example is snapshot isolation, which is discussed in the book Designing Data Intensive Applications and has a TLA spec: https://github.com/will62794/snapshot-isolation-spec/blob/master/SnapshotIsolation.tla Explanation of snapshot isolation: https://medium.com/swlh/designing-data-intensive-applications-strong-isolation-using-serializability-8f4994c0834

Suggest a related project