Verification of the Incremental Merkle Tree Algorithm with Dafny.

Franck Cassez

Browse the full FM paper archive.