Paper Details

Communicating Process Architectures (CPA)
 Title: FDR3: the Future of CSP Model Checking
 Conference: Communicating Process Architectures 2013
 Authors: Thomas Gibson-Robinson
Department of Computer Science, University of Oxford
 Abstract: Over the last couple of years a brand new version of FDR, FDR3, has been under development at Oxford. This includes greatly improved performance (typically 2.5X faster than FDR2 on a single core) and, for the first time, a parallel model-checking mode that scales almost linearly with the number of available cores. In this talk I will give a demonstration of FDR3, including the new debug viewer, the integrated version of ProBE, and the enhanced error messages. FDR3 is due for general release this October. 

BibTeX Entry

Full paper