Reading log


Added [Cirstea2024], which is doing something very similar to my trace checking via CSP, but using TLA+ instead. Looks like it contains an excellent Related Work section describing other work in this space.

[Cirstea2024] Validating Traces of Distributed Programs Against TLA+ Specifications

Also added [Krook2023], which discusses parallelizing QuickCheck.

[Krook2023] QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck