Validating Traces of Distributed Programs Against TLA

Horatiu Cirstea, Markus A. Kuppe, Benjamin Loillier, Stephan Merz

Browse the full SEFM paper archive.