Design of Formal Methods Approach to Resolve Disputes