reef-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Byung-Gon Chun <bgc...@gmail.com>
Subject Re: Formal methods for REEF?
Date Mon, 11 Apr 2016 21:15:24 GMT
It could have been a great GSoC topic. :-)

On Tue, Apr 12, 2016 at 4:46 AM, Andrew Chung <afchung90@gmail.com> wrote:

> 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
> >>
>



-- 
Byung-Gon Chun

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