Yes, with an important distinction. Rule-based checkers test the slice of code somebody encoded, against the model. Tektome extracts the requirements from the approved documents, standards, planning conditions and client papers that govern the specific scheme, then reviews drawings, models, specifications, schedules and calculations against all of them on every issue, with the clause cited behind each finding.

See how Tektome handles this in Compliance & Code Review