dcreager.net

↓

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.

FDR4

CSP would be a good language for property tests

..

This page is also available via Gemini at gemini://dcreager.net/formal-methods/csp.gmi