Let $K$ be a local field and $R$ be ring of integers. Néron model is defined as smooth group scheme over $\operatorname{Spec}R$, whose generic fiber is isomorphic to $E$, and satisfies Néron mapping property.
But I often hear Néron model is separated and finite type as a scheme. How can I deduce Néron model is separated from this definition?