kVerifierの実用化、及び仕様記述言語との連携