Verification-of-Hydra-using-Scribble

A verification tool used to check some of the distributed properties of Hydra.

• Scribble is a toolchain for programming distributed applications in Java based on the theory of multiparty session types.
• Developed protocols and verified some of the distributed properties of Hydra(Liveness, Progress, Unfinished roles).

https://github.com/boogie-org/corral

http://www.scribble.org/docs/scribble-java.html