FAQ

FDR (software)

Known as: FDR2, Failures-Divergence Refinement, Failures-Divergences Refinement 
FDR (Failures-Divergences Refinement) and subsequently FDR2 are refinement checking software tools, designed to check formal models expressed in… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1995-2016
051019952016

Related topics

Related topics

2 relations
Communicating sequential processes

Broader (1)

Concurrent computing

Related mentions per year

Related mentions per year

1960-2018
1960198020002020
FDR (software)
Concurrent computing
Communicating sequential processes

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
FDR3 - A Modern Refinement Checker for CSP
FDR3 is a complete rewrite of the CSP refinement checker FDR2, incorporating a significant number of enhancements. In this paper… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2013
2013
Formal Security Analysis and Improvement of a Hash-Based NFC M-Coupon Protocol
Near field communication (NFC) is a Radio Frequency (RF) technology that allows data to be exchanged between devices that are in… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2012
2012
Failures-divergence Refinement Fdr2 User Manual
  • 2012
 
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
2012
2012
An Optimization Approach for Effective Formalized fUML Model Checking
Automatically formalizing fUML models into CSP is a challenging task. However, checking the generated CSP model using FDR2 is far… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2012
2012
Verifying anonymity in voting systems using CSP
We present formal definitions of anonymity properties for voting protocols using the process algebra CSP. We analyse a number of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2012
2012
More Anti-chain Based Refinement Checking
Refinement checking plays an important role in system verification. It establishes properties of an implementation by showing a… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2008
2008
Decomposition for compositional verification
Compositional verification is based on the idea that the correctness check of a complex system can be divided into smaller… (More)
  • figure 1
  • table 1
  • figure 3
Is this relevant?
2005
2005
On the Use of VDM + + for Specifying Real-time Systems ?
Language extensions have been suggested in the past to make VDM++ better suited for specification of real-time applications and… (More)
Is this relevant?
1999
1999
BSP in CSP: Easy as ABC
In this paper we describe how the language of Communicating Sequential Processes (CSP) has been applied to the analysis of a… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock
FDR (Failures-Divergence Refinement) [6] is a model-checking tool for CSP [10]. Except for the recent addition of determinism… (More)
Is this relevant?