java - JavaのモデルチェッカーとしてNuSMVを採用

Question

NuSMV を Java のモデル チェッカーとして使用しようとしています。ただし、関連する JAR ライブラリをオンラインで見つけることができません。

私が見つけた唯一のものはここで提供されており、ダウンロード リンクはもう機能しません。どうやら、ライブラリは存在しますが、アクセス リンクが機能していません。

NuSMV Java API ライブラリにアクセスする方法を知っている人、または別の方法を知っている人はいますか?

Answer 1

これは、同じ作成者によるnusmv-toolsの実際のダウンロード リンクであり、あなたが話していたJavaフロントエンドが含まれています。

https://code.google.com/archive/a/eclipselabs.org/p/nusmv-tools/downloads

ライブラリをテストしていません。ダウンロードできることを確認しただけです。