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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
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
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
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
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
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
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
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
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
 
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… Expand
Is this relevant?