@InProceedings{GibsonRobinson13b,
  title =        "{FDR}3: the {F}uture of {CSP} {M}odel {C}hecking",
  author=        "Gibson-Robinson,  Thomas",
  editor=        "Welch, Peter H. and Barnes,  Frederick R. M. and Broenink,  Jan F. and Chalmers,  Kevin and Pedersen,  Jan Bækgaard and Sampson,  Adam T.",
  pages =        "321--322",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2013",
  isbn=          "978-0-9565409-7-3",
  year=          "2013",
  month=         "nov",
  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.5 times 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."
}