FDR (software)

Use the mouse wheel or two fingers (on touchscreens) to zoom in and out of the map.

Export map as:

Research this topic

Explore the main themes, entities and connections around FDR (software). Start with the topic map, then use the sections below for research and deeper semantic analysis.

Explore this topic

Start with a few of the strongest sections from the source topic. These are research directions, not a list of keywords you must use.

Overview

Refinement Software tools Formal models Communicating sequential processes Bill Roscoe

13 related topics

Key facts & relationships

High-confidence facts extracted from structured source data. Use them as anchors for further research.

Developers: University of Oxford, Cocotec
License: proprietary software
Operating system: Linux · MacOS · Windows
Other names: FDR2, FDR3, FDR4
Stable release: 4.2.4 / 19 February 2019; 7 years ago (2019-02-19)
Type: CSP refinement checker

Topics to explore

Browse the full topic structure. Each item opens a new analysis centered on that subject.

Overview

Refinement Refinement (computing)
Software tools Software tool
Formal models Formal model
Communicating sequential processes
Bill Roscoe
Department of Computer Science, University of Oxford
Michael Goldsmith Michael Goldsmith (computer scientist)
Model checker
Refinement Program refinement
Labelled Transition Systems Labelled transition system
Semantic model
State-space
University of Oxford

Advanced semantic analysis

Deeper signals for content research, entity SEO and topical coverage. The plain-language headings explain what each technical view is useful for.

Map overview Semantic statistics

Nodes15

Edges14

Triples9

Avg. degree1.87

Density0.133333

Components1

How this topic connects Entity context

See the strongest relationship patterns around the current topic before diving into the raw triples.

FDR (software)

Top relations

Operating system · 3

FDR (software) → Linux, MacOS, Windows

Developers · 1

FDR (software) → University of Oxford, Cocotec

License · 1

FDR (software) → proprietary software

Other names · 1

FDR (software) → FDR2, FDR3, FDR4

Stable release · 1

FDR (software) → 4.2.4 / 19 February 2019; 7 years ago (2019-02-19)

Type · 1

FDR (software) → CSP refinement checker

Website · 1

FDR (software) → https://cocotec.io/fdr/

Important terminology Word statistics

Use these terms to understand the vocabulary surrounding the topic, not as a checklist for keyword stuffing.

Important terminology

fdr2 fdr3 refinement csp fdr4 university oxford fdr checker tools check formal processes developed systems department computer science many algorithms

Entity relationships Subject–Predicate–Object triples

Subject	Predicate	Object	Confidence	Src
FDR (software)	Developers	University of Oxford, Cocotec	1.00	infobox
FDR (software)	License	proprietary software	1.00	infobox
FDR (software)	Operating system	Linux	1.00	infobox
FDR (software)	Operating system	MacOS	1.00	infobox
FDR (software)	Operating system	Windows	1.00	infobox
FDR (software)	Other names	FDR2, FDR3, FDR4	1.00	infobox
FDR (software)	Stable release	4.2.4 / 19 February 2019; 7 years ago (2019-02-19)	1.00	infobox
FDR (software)	Type	CSP refinement checker	1.00	infobox
FDR (software)	Website	https://cocotec.io/fdr/	1.00	infobox

Related concept clusters Concept neighborhoods

These clusters group vocabulary that occurs around closely connected concepts in the source material.

Connections between topic areas Semantic bridges

Bridges can reveal useful research angles that are easy to miss in a flat list of related terms.

Min side: 3