Model checking driven by explicit rules such as clearance requirements, naming rules, property completeness, or code-related conditions. Rule-Based Checking helps make quality control repeatable.