How to Make FDR Spin LTL Model Checking of CSP by Refinement.

Michael Leuschel, Thierry Massart, Andrew Currie

Browse the full FM paper archive.