You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@reef.apache.org by "Eranga Heshan (JIRA)" <ji...@apache.org> on 2017/03/15 13:58:41 UTC
[jira] [Comment Edited] (REEF-1745) Formal analysis on REEF
protocols
[ https://issues.apache.org/jira/browse/REEF-1745?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15923476#comment-15923476 ]
Eranga Heshan edited comment on REEF-1745 at 3/15/17 1:57 PM:
--------------------------------------------------------------
Hi [~gyewonlee],
I am an undergraduate of Computer Science & Engineering, University of Moratuwa, Sri Lanka. I have done Formal Specification of Systems as part of my curriculum.
I am interested in this project and currently going through the referenced formal specification language. I hope to get more help and guidance from mentors.
Thank you.
was (Author: erangaheshan):
Hi,
I am an undergraduate of Computer Science & Engineering, University of Moratuwa, Sri Lanka. I have done Formal Specification of Systems as part of my curriculum.
I am interested in this project and currently going through the referenced formal specification language. I hope to get more help and guidance from mentors.
Thank you.
> Formal analysis on REEF protocols
> ---------------------------------
>
> Key: REEF-1745
> URL: https://issues.apache.org/jira/browse/REEF-1745
> 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+(http://lamport.azurewebsites.net/tla/tla.html) and Alloy(http://alloy.mit.edu/alloy/) are suggested as possible tools.
--
This message was sent by Atlassian JIRA
(v6.3.15#6346)