💾 Archived View for dcreager.net › formal-methods › csp.gmi captured on 2024-12-17 at 09:30:17. Gemini links have been rewritten to link to archived content

-=-=-=-=-=-=-

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