181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
件の記事で使われていたVDM以外だとAlloy、SMV、SPIN、Z言語辺りが似たようなモデル検査プロジェクトで使われる道具として有名