reef-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Kim Doyoung (JIRA)" <>
Subject [jira] [Commented] (REEF-1745) Formal analysis on REEF protocols
Date Wed, 15 Mar 2017 16:02:41 GMT


Kim Doyoung commented on REEF-1745:

Hello, [~gyewonlee]!

I am an undergraduate of Computer Science and Engineering, Seoul National University in Korea.
I get to know this project by GSoC 2017 and since I have many interests in formal analysis,
I would like to contribute to this project.

It seems the topic above looks difficult but It will be a certain improvement for the project.

I'll be glad if i can check details of the topic and know where to start.

> Formal analysis on REEF protocols
> ---------------------------------
>                 Key: REEF-1745
>                 URL:
>             Project: REEF
>          Issue Type: Improvement
>            Reporter: Gyewon Lee
>              Labels: gsoc2017
> In REEF, there are some protocols which are used for communication between different
components(ex. Driver <-> Evaluator, C# <-> Java), but we don't have any formal
specifications on them. This topic has been discussed in reef developer mailing list.
> Writing formal specifications on these protocols will help us find bugs and verify the
correctness of the protocols. TLA+( and Alloy(
are suggested as possible tools.

This message was sent by Atlassian JIRA

View raw message