#tlaplus

Follow to get notified about new posts with this tag

fuzz-ai

8y

Reproducing a Memory-Tracking Bug with TLA+

Reproducing a Memory-Tracking Bug with TLA+

I was interested in a first project for getting familiar with TLA+, “a high-level language for modelling programs and systems.” TLA+ has been used to find errors in the design of real-world distributed

$ 0.000

3