Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Related topics

Related topics

2 relations
Communicating sequential processes

Broader (1)

Concurrent computing

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
On a Process Algebraic Representation of Sequence Diagrams
Sequence diagrams depict the interaction between entities as a sequence of messages arranged in a temporal order. However, they… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2011
2011
Error rates for multivariate outlier detection
Multivariate outlier identification requires the choice of reliable cut-off points for the robust distances that measure the… Expand
  • table 1
  • table 2
  • table 3
  • figure 1
  • table 4
Is this relevant?
2011
2011
Testing for refinement in Circus
Circus combines constructs to define complex data operations and interactions; it integrates Z and CSP, and, distinctively, it is… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2011
2011
A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface
In this paper we present a Design-for-Verification framework for a Configurable Performance-Critical Communication Interface. To… Expand
  • figure 1
  • table 1
  • table 2
  • figure 2
  • figure 3
Is this relevant?
2009
2009
Verifying the Implementation of an Operating System Scheduler
In this paper, we applied our approach for verifying low-level code to the scheduler of the real-time operating system BOSS. We… Expand
  • figure 1
Is this relevant?
2008
2008
Proposal of CSP based Network Design and Construction Session : Network and Protocol Short Paper
We have designed a network router suited to be used in a SpaceWire network. The design was based on a formal method using CSP… Expand
  • figure 1
  • figure 2
Is this relevant?
2006
2006
On process-algebraic verification of asynchronous circuits
This paper develops a theoretical basis for using process algebra and associated model checking tools to verify asynchronous… Expand
  • figure 1
  • figure 2
Is this relevant?
2000
2000
Structural Refinement in Object-Z/CSP
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP… Expand
  • figure 1
Is this relevant?
2000
2000
FDR2 user manual
 
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… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE