-
InfluxDB
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.
The TLA+ github has several examples.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.
Related posts
-
Suggestions for model checking?
-
Formal definitions of "events" and "messages" in distributed systems?
-
Beginner Question on Model Checking
-
Why is the IDE telling me my actions will never be enabled? How should a mutable array of booleans be represented?
-
Generate (message) sequence diagrams from TLA+ state traces