FDR3: a parallel refinement checker for CSP
Abstract Failures divergence refinement 3 (FDR3) is a complete rewrite of the CSP
refinement checker FDR2 that incorporates a significant number of enhancements. In this …
refinement checker FDR2 that incorporates a significant number of enhancements. In this …
Practical partial order reduction for CSP
FDR is an explicit-state refinement checker for the process algebra CSP and, as such, is
vulnerable to the state-explosion problem. In this paper, we show how a form of partial-order …
vulnerable to the state-explosion problem. In this paper, we show how a form of partial-order …
A formal component model for UML based on CSP aiming at compositional verification
Abstract Model-based engineering emerged as an approach to tackle the complexity of
current system development. In particular, compositional strategies assume that systems can …
current system development. In particular, compositional strategies assume that systems can …
Computing maximal weak and other bisimulations
We present and compare several algorithms for computing the maximal strong bisimulation,
the maximal divergence-respecting delay bisimulation, and the maximal divergence …
the maximal divergence-respecting delay bisimulation, and the maximal divergence …
[PDF][PDF] FDR into the cloud
In this paper we report on a successful extension to the CSP refinement checker FDR3 that
permits it to run on clusters of machines. We demonstrate that it is able to scale linearly up to …
permits it to run on clusters of machines. We demonstrate that it is able to scale linearly up to …
[PDF][PDF] FDR into The Cloud
A Roscoe - 2014 - ora.ox.ac.uk
In this paper we report on a successful extension to the CSP refinement checker FDR3 that
permits it to run on clusters of machines. We demonstrate that it is able to scale linearly up to …
permits it to run on clusters of machines. We demonstrate that it is able to scale linearly up to …