💾 Archived View for dcreager.net › 2024 › 04 › 26-reading-log.gmi captured on 2024-06-16 at 12:13:57. Gemini links have been rewritten to link to archived content

-=-=-=-=-=-=-

Reading log

2024-04-26

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