Description
Communicating Sequential Processes models can be checked for refinement properties in formal verification workflows.
This is a specialist verification tool for researchers, students, and engineers. Results require understanding the CSP model and the property being checked.