Feature-based model templates have been recently proposed as a approach for modeling software product lines. Unfortunately, templates are notoriously prone to errors that may go unnoticed for long time. This is because such an error usually is exhibited for some configurations only, and testing all configurations is usually not feasible in practice. We present an automated verification procedure for ensuring that no ill-structured template instance will be generated from a valid configuration. We present the formal underpinnings of our proposed approach, analyze its complexity, and demonstrate its practical feasibility through a prototype implementation.