8 papers:
TACAS-2014-Gibson-RobinsonABR #csp #named #refinement- FDR3 — A Modern Refinement Checker for CSP (TGR, PJA, AB, AWR), pp. 187–201.
CAV-2012-ArmstrongGLOPRW- Recent Developments in FDR (PJA, MG, GL, JO, HP, AWR, JW), pp. 699–704.
IFM-2009-VargasGTG #ltl #model checking- Model Checking LTL Formulae in RAISE with FDR (APV, AGG, SLTT, CG), pp. 231–245.
FME-2001-LeuschelMC #csp #how #ltl #model checking #refinement- How to Make FDR Spin LTL Model Checking of CSP by Refinement (ML, TM, AC), pp. 99–118.
- IFM-1999-FischerW #model checking #specification
- Model-Checking CSP-OZ Specifications with FDR (CF, HW), pp. 315–334.
FASE-1998-ReedJDR #analysis #automation #formal method #modelling #network- Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms (JNR, DMJ, BD, GMR), pp. 239–254.
- FM-1998-GoldsmithZ #csp #validation #verification
- Critical Systems Validation and Verification with CSP and FDR (MG, IZ), pp. 243–250.
- TACAS-1996-Lowe #protocol #using
- Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR (GL), pp. 147–166.
