reef-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Andrew Chung <afchun...@gmail.com>
Subject Re: Formal methods for REEF?
Date Mon, 11 Apr 2016 19:46:58 GMT
Hi Markus,

I am also interested in this, although I have no background in formal
analysis. I'm hoping this will be a good opportunity to learn some new
things :)

Thanks,
Andrew

On Mon, Apr 11, 2016 at 10:25 AM, Sergiy Matusevych
<sergiy.matusevych@gmail.com> wrote:
> Hi Markus,
>
> I am very much interested in this, but I am afraid I don't know enough
> about REEF internals - yet. Still, I would love to start working on it
> after I am done with my current projects - I'll just need some help and
> guidance from time to time from core REEF developers like yourself and Gon
> :)
>
> Cheers,
> Sergiy
>
>
> On Mon, Apr 11, 2016 at 9:24 AM, Markus Weimer <markus@weimo.de> wrote:
>
>> Hi,
>>
>> are any of you interested in applying some formal analysis to the REEF
>> protocols? For example, the Driver <-> Evaluator or the C# <-> Java
>> protocols we use.
>>
>> I'm asking because I know of some nascent interest in that sort of thing
>> in the off-list fringes in our community. But without someone with deeper
>> knowledge of REEF, the task is a bit too daunting.
>>
>> Let me know if there is interest, and I will connect the dots :-)
>>
>> Markus
>>

Mime
View raw message