ここ数週間、@dnkolegov (および @asymmetric_re のチーム) は Minimmit を実行可能な仕様 (Quint で書かれている) に変換しました。 なぜでしょうか。これで、Apalache Symbolic Model Checker 🤖 に対する Minimmit の不健全性の検索を自動化できます。