Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

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… 
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… 
2010
2010
Terminal Flower 1(TFL1) Homolog Genes in Dicot Plants
Terminal flowering1 (TFL1) is an important gene responsible for time of flowering in Arabidopsis thaliana. It belongs to… 
2010
2010
An approach for machine-assisted verification of Timed CSP specifications
The real-time process calculus Timed CSP is capable of expressing properties such as deadlock-freedom and real-time constraints… 
2009
2009
Using CSP to Model and Analyze TinyOS Applications
The TinyOS concurrency model, although easier to reason about than shared-state threads, may still produce undesirable behavior… 
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… 
2007
2007
Addressing Security Requirements Through Multi-Formalism Modelling and Model Transformation
Model-based approaches are increasingly used in all stages of complex systems design. In this paper, we use multi-formalism… 
2003
2003
CSP / FDR2 to Handel-C translation
PERMITTED USES. This material may be accessed as downloaded onto electronic, magnetic, optical or similar storage media provided… 
1998
1998
A Testing Equivalence for Reactive Probabilistic Processes
1998
1998
Model Checking for Interlocking Safety
We describe how the technique of model checking has been applied to the verification of geographic databases which are associated… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)