• Contents
  • Introduction
    • Citing FDR
  • The FDR User Interface
    • Getting Started
    • Session Window
    • Debug Viewer
    • Process Graph Viewer
    • Probe
    • Node Inspector
    • Communication Graph Viewer
    • Machine Structure Viewer
    • Options
  • The FDR Command-Line Interface
    • Command-Line Flags
    • Examples
    • Using a Cluster
    • Machine-Readable Formats
  • CSP_M
    • Definitions
    • Functional Syntax
    • Defining Processes
    • Type System
    • Built-In Definitions
    • Profiling
  • Integrating FDR into Other Tools
    • The FDR API
    • API Examples
  • Optimising
    • Overview
    • Compression
  • Implementation Notes
    • Semantic Models
    • Compilation
    • Refinement Checking
    • Type Checking
  • Release Notes
    • 4.2.7 (11/05/2020)
    • 4.2.6 (10/05/2020)
    • 4.2.5 (27/04/2020)
    • 4.2.4 (19/02/2019)
    • 4.2.3 (26/10/2017)
    • 4.2.2 (09/10/2017)
    • 4.2.1 (19/09/2017)
    • 4.2.0 (20/12/2016)
    • 3.4.0 (09/03/2016)
    • 3.3.1 (17/06/2015)
    • 3.3.0 (15/06/2015)
    • 3.2.1 – 3.2.3 (06/01/2015)
    • 3.2.0 (30/01/2015)
    • 3.1.0 (11/08/2014)
    • 3.0.0 (09/12/2013)
  • Example Files
    • FDR4 Introduction
    • Dining Philosophers
    • Inductive Compression
  • References
  • Licenses
    • boost
    • boost.nowide
    • CityHash
    • google-sparsehash
    • graphviz
    • libcspm
    • LLVM
    • lz4
    • popcount.h
    • QT
    • zlib
    • Haskell
• Page
  • Semantic Models
    • Traces Model
    • Failures Model
    • Failures-Divergences Model
• « Implementation Notes
• Compilation »
• Index