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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
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
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
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
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
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
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
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
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
FDR (Failures-Divergence Refinement) [6] is a model-checking tool for CSP [10]. Except for the recent addition of determinism… (More)
Is this relevant?