This tool analyzes contracts writen in RCL1 and performs a conflict detection in their clauses.
1: W. A. Della Mura and A. L. Bonifacio, Devising a conflict detection method for multi-party contracts, 2015. 34th International Conference of the Chilean Computer Science Society (SCCC), Santiago, 2015, pp. 1-6. http://dx.doi.org/10.1109/SCCC.2015.7416574