Uploaded image for project: 'REEF'
  1. REEF
  2. REEF-1745

Formal analysis on REEF protocols

    Details

    • Type: Improvement
    • Status: Open
    • Priority: Major
    • Resolution: Unresolved
    • Affects Version/s: None
    • Fix Version/s: None
    • Component/s: None
    • Labels:

      Description

      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.

        Attachments

          Issue Links

            Activity

              People

              • Assignee:
                Unassigned
                Reporter:
                gyewonlee Gyewon Lee
              • Votes:
                0 Vote for this issue
                Watchers:
                4 Start watching this issue

                Dates

                • Created:
                  Updated: