A Tool for Checking the CSP sat Property
J. M. R. Martin · The Computer Journal · 2000
This paper describes an algorithm and associated tool for checking a network of communicating processes, defined using the algebraic language of CSP, against a set-theoretic specification, expressed in terms of event traces and refusal sets.