The present disclosure provides computing systems and techniques for validating a decision model against a cannon of regulation. A server can deconstruct a decision model into a number of branching decisions and also generate a Markov chain comprising a number of sequences from a cannon of regulation. The server can compare the branching decisions to the sequences and can validate the decision model with the cannon of regulation based on the comparison.