FDR4 – A CSP refinement checkerhttps://www.cs.ox.ac.uk/projects/fdr/# by fnordsensei • 9 years ago 2 0 9 years agoCScs.ox.ac.uk