The Adelaide Refinement Checker (ARC) is a CSP refinement checker developed by the Formal Modelling and Verification Group at The University of Adelaide.
Adelaide Refinement Checker (ARC) – tai yra CSP patobulintas tikrintuvas, kurį sukūrė Formalių modeliavimų ir tyrimų grupė Adelaidės universitete.