We may detect conflicts between statements using formal techniques based on inconsistency checking, theorem proving or derivation of boundary conditions. Formal conflict detection requires overlapping statements to be formalized in a logic-based specification language