shinjiroy/model-checking-core

the core of model-checking

モデル検査器

オートマトンとKripke構造を実装して満足してしまいました