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