the core of BiVeS
The ModelValidator is a tool meant to validate models for their applicability in BiVeS. Since BiVeS supports more than allowed models that are not valid in terms of the specification of their markup language are valid for BiVeS and, thus, you shouldn’t rely on the validator.