OMG SysML^<TM> defines a modeling language, which is based on UML, for specifying and designing complex systems. It helps a team consisting of systems engineers and domain engineers to share various kind of knowledge with little ambiguity. In addition, its definiteness also enable us to create software tools for verifying system models in a relatively generic manner. This paper discusses several types of model verifications that seem effective in eliminating problems in a system model at earlier stages of system development, and also provides a brief introduction of their prototype implementations.