Towards Verification of the Pastry Protocol Using TLA

Tianxiang Lu, Stephan Merz, Christoph Weidenbach

Browse the full FORTE paper archive.