db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>

%T FDR3: the Future of CSP Model Checking
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%A  Thomas Gibson\-Robinson
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%E Peter H. Welch,  Frederick R. M. Barnes,  Jan F. Broenink,  Kevin Chalmers,  Jan Bækgaard Pedersen,  Adam T. Sampson
%B Communicating Process Architectures 2013
%X 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.