reef-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Markus Weimer <>
Subject Re: Formal methods for REEF?
Date Wed, 13 Apr 2016 00:26:08 GMT
On 2016-04-12 17:22, Byung-Gon Chun wrote:
> I talked about the need of formally specifying REEF protocols long time
> ago. :)

Yes, it is a long standing need. In fact, I am pretty sure our base 
protocols are no longer a good fit, as they've only been "adapted" for 
contexts once we added them. We never redesigned them.


View raw message