-- Leo's gemini proxy
-- Connecting to dcreager.net:1965...
-- Connected
-- Sending request
-- Meta line: 20 text/gemini;lang=en
> 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.
Also added [Krook2023], which discusses parallelizing QuickCheck.
-- Response ended
-- Page fetched on Mon May 13 18:55:38 2024