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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2014

Sequence diagrams depict the interaction between entities as a sequence of messages arranged in a temporal order. However, they…

2011

In this paper we present a Design-for-Verification framework for a Configurable Performance-Critical Communication Interface. To…

2010

Terminal flowering1 (TFL1) is an important gene responsible for time of flowering in Arabidopsis thaliana. It belongs to…

2009

In this paper, we applied our approach for verifying low-level code to the scheduler of the real-time operating system BOSS. We…

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…

2007

Lose sight of the existence of system crosscutting concerns, e.g. safety and quality etc, often causes the system hard to…

2003

PERMITTED USES. This material may be accessed as downloaded onto electronic, magnetic, optical or similar storage media provided…

2003

We propose a real-time extension to the process algebra CSP. Inspired by timed automata, a very successful formalism for the…

2002

Abstract. This paper discusses the separation of components from the contexts in which they are used, and how this separation can…

1998