private void modelCheckingToolStripMenuItem_Click(object sender, EventArgs e)
 {
     ModelCheckWindow modelCheckWnd = new ModelCheckWindow();
     modelCheckWnd.Show();
 }