記号的モデル検証システム