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

Formal analysis on REEF protocols

    XMLWordPrintableJSON

Details

    • Improvement
    • Status: Open
    • Major
    • Resolution: Unresolved
    • None
    • None
    • None

    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

          is a child of

          Improvement - An improvement or enhancement to an existing feature or task. REEF-1759 Improve Communication Inside REEF

          • Major - Major loss of function.
          • Open

          Activity

            People

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

              Dates

                Created:
                Updated: