Reflections on the Need to De-Skill CSP

摘要

CSP is a hugely expressive language, and in FDR it has a remarkably effective model checker, and yet it is not as widely used as these things might suggest. In this paper we argue that this is at least in part because it requires too much expertise to use CSP effectively in a way that maps systems efficiently to a form suitable for FDR.