Outline - lgwagner/SpeAR GitHub Wiki

  1. Introduction
    • Motivation for Spear
    • Overview of Users Guide/Wiki
  2. Installation Instructions
    • Install SpeAR
    • Install Z3 and add it to the path
    • Install Graphviz and add it to the path (optional)
    • Set SpeAR Preferences
  3. Overview of SpeAR
    • Thermostat Example
    • Inputs, Outputs, State
    • Assumptions
    • Requirements
    • Properties
  4. Using SpeAR
    • Import an existing project
    • Running analysis
      • Open a file
      • Running logical entailment analysis
      • Viewing a counterexample
      • Running consistency analysis
      • Running realizability analysis
    • Creating a new project
    • Creating a new specification with the SpeAR File Wizard
  5. Complex Example
  6. Software Engineering Process Inclusion
    • Attributes
    • Exporting SpeAR Requirements to Excel
    • Traceability
  7. Language Description
  8. Analyses
  9. Configuration of SpeAR Preferences

Approved for Public Release; Distribution Unlimited (Case Number: 88ABW-2017-2132)

⚠️ **GitHub.com Fallback** ⚠️