Design of Formal Methods Approach to Resolve Disputes | Kaicus Deutschland