TLA+ Trace Checker paper: "Background" section

XMLWordPrintableJSON

    • Type: New Feature
    • Resolution: Done
    • Priority: Major - P3
    • None
    • Affects Version/s: None
    • Component/s: Replication
    • None
    • Repl 2020-01-27, Repl 2020-02-10
    • None
    • None
    • None
    • None
    • None
    • None
    • None

      This is something like the "System Model" section in "How to Write a Technical Paper: Structure and Style of the Epitome of your Research":

      System Model

      In the system model section, you explicitly describe all the
      hypotheses and assumptions of the environment on which
      the problem will be stated. Put good effort in realizing
      all explicit and implicit assumptions that you make, and
      clearly state them. It is important to provide support for
      your assumption choices. The more valid and acceptable
      your assumptions are, the more valid and acceptable your
      work will be.
      The system model section should always have a figure.
      The figure should demonstrate the parameters of your
      system model. Prepare the figure so that it can later be
      reused or enhanced to demonstrate your solution.

            Assignee:
            Judah Schvimer
            Reporter:
            A. Jesse Jiryu Davis
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated:
              Resolved: