Validating Traces of Distributed Programs Against TLA+ Specifications. - Horatiu Cirstea; Markus A. Kuppe; Benjamin Loillier; Stephan Merz (SEFM, 2024)

Validating Traces of Distributed Programs Against TLA+ Specifications. - Horatiu Cirstea; Markus A. Kuppe; Benjamin Loillier; Stephan Merz (CoRR, 2024)