Adelaide Refinement Checker (ARC) Sample Clauses

Adelaide Refinement Checker (ARC). This is a refinement checker from the University of Adelaide. It represents CSP processes as OBDDs (Ordered Binary Decision Diagrams), which enables compact compilation, so that no state-space compression algorithms are needed.