FDR3 - A Modern Refinement Checker for CSP.

Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe

Browse the full TACAS paper archive.