Formal methods » Communicating Sequential Processes (CSP)

CSP is a process calculus originally designed by Tony Hoare. It has a model checker called FDR, originally developed and implemented by Bill Roscoe.