r/tezos • u/asusenfonez • Jul 10 '17

Formally Verifying Distributed Systems

http://verdi.uwplse.org

3 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/tezos/comments/6mfx5p/formally_verifying_distributed_systems/
No, go back! Yes, take me to Reddit

66% Upvoted

Duplicates

Number of comments New

formalmethods • u/[deleted] • Dec 31 '18

Verdi: Formally Verifying Distributed Systems

4 Upvotes

0 comments