Validierbare Systeme