VisB-Examples.prob2project

{
  "name": "VisB-Examples",
  "description": "",
  "machines": [
    {
      "name": "button",
      "description": "",
      "location": "Button/button.mch",
      "lastUsedPreferenceName": "default",
      "ltlFormulas": [],
      "ltlPatterns": [],
      "symbolicCheckingFormulas": [
        {
          "type": "INVARIANT",
          "name": "",
          "description": "Invariant",
          "code": "",
          "selected": true
        },
        {
          "type": "SYMBOLIC_MODEL_CHECK",
          "name": "BMC",
          "description": "Symbolic model checking",
          "code": "BMC",
          "selected": true
        }
      ],
      "symbolicAnimationFormulas": [],
      "testCases": [],
      "traces": [],
      "modelcheckingItems": [],
      "visBVisualisation": "Button/button.json"
    },
    {
      "name": "QueensWithEvents",
      "description": "",
      "location": "N-Queens/QueensWithEvents.mch",
      "lastUsedPreferenceName": "default",
      "ltlFormulas": [],
      "ltlPatterns": [],
      "symbolicCheckingFormulas": [
        {
          "type": "SYMBOLIC_MODEL_CHECK",
          "name": "BMC",
          "description": "Symbolic model checking",
          "code": "BMC",
          "selected": true
        },
        {
          "type": "INVARIANT",
          "name": "",
          "description": "Invariant",
          "code": "",
          "selected": true
        },
        {
          "type": "INVARIANT",
          "name": "SetQueen",
          "description": "Invariant",
          "code": "SetQueen",
          "selected": true
        }
      ],
      "symbolicAnimationFormulas": [],
      "testCases": [],
      "traces": [
        "traces/QueensWithEvents.prob2trace"
      ],
      "modelcheckingItems": [],
      "visBVisualisation": "N-Queens/queens_8.json"
    },
    {
      "name": "Grapher",
      "description": "",
      "location": "Reals/Grapher.mch",
      "lastUsedPreferenceName": "default",
      "ltlFormulas": [],
      "ltlPatterns": [],
      "symbolicCheckingFormulas": [],
      "symbolicAnimationFormulas": [],
      "testCases": [],
      "traces": [],
      "modelcheckingItems": [],
      "visBVisualisation": "Reals/Grapher.json"
    },
    {
      "name": "MovingParticles3",
      "description": "",
      "location": "Physics/MovingParticles3.mch",
      "lastUsedPreferenceName": "default",
      "ltlFormulas": [],
      "ltlPatterns": [],
      "symbolicCheckingFormulas": [],
      "symbolicAnimationFormulas": [],
      "testCases": [],
      "traces": [
        "traces/MovingParticles.prob2trace"
      ],
      "modelcheckingItems": [],
      "visBVisualisation": "Physics/three_bodies.json"
    },
    {
      "name": "MovingParticles4",
      "description": "",
      "location": "Physics/MovingParticles4.mch",
      "lastUsedPreferenceName": "default",
      "ltlFormulas": [],
      "ltlPatterns": [],
      "symbolicCheckingFormulas": [],
      "symbolicAnimationFormulas": [],
      "testCases": [],
      "traces": [],
      "modelcheckingItems": [],
      "visBVisualisation": null
    }
  ],
  "preferences": [],
  "metadata": {
    "fileType": "Project",
    "formatVersion": 9,
    "savedAt": "2020-11-12T16:09:03.372063Z",
    "creator": "User",
    "proB2KernelVersion": "4.0.0-SNAPSHOT",
    "proBCliVersion": null,
    "modelName": null
  }
}