[tlaplus] Re: Eurosys 2023 paper: Model Checking Guided Testing for Distributed Systems

[chunxiao B <inevity@xxxxxxxxx>]

The paper did  not cite the “Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3” so  ...

在2023年5月25日星期四 UTC 03:20:58<Aman Shaikh> 写道：

The paper can be found at: https://dl.acm.org/doi/10.1145/3552326.3587442

Code for the tool described in the paper at: https://github.com/tcse-iscas/Mocket.

aman

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/ad364d5b-39aa-4ce2-bda7-0b5e484c0cb7n%40googlegroups.com.