A machine-checked correctness proof for Pastry.

Noran Azmy Stephan Merz Christoph Weidenbach

Published in: Sci. Comput. Program. (2018)

Keyphrases

provably correct
batch processing
data sets
information systems
theorem prover
databases
artificial intelligence
theorem proving
overlay network