プログラム 組合せテスト作成ツールCIT-BACH Tseytin変換ツール Bool2CNF ペアワイズテスト用テストケース生成ツール ペトリネットに対する有界モデル検査ツール その他のいろんなもの→ my github page