reef-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From 김도영 <>
Subject Protocols to be analyzed
Date Thu, 25 May 2017 07:41:03 GMT
Hi! I’m Doyoung, GSoC Student.

I’m working on [REEF-1745] Formal analysis on REEF protocols.

I’m learning TLA+ for formal verification but I’m not certain about what protocols could
be analyzed on REEF.

Any suggestion would be great for me!


  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message