BDD仲間

BDD Buddyはバイナリ決定図ライブラリです。
今すぐダウンロード

BDD仲間 ランキングとまとめ

広告

  • Rating:
  • ライセンス:
  • Public Domain
  • 価格:
  • FREE
  • 出版社名:
  • Haim Cohen
  • 出版社のWebサイト:

BDD仲間 タグ


BDD仲間 説明

BDD Buddyはバイナリ決定図ライブラリです。 BDD Buddyは、バイナリ決定図ライブラリです。 JRN Lind-Nielsenによる有限ステートマシンのモデル検査に関するプロジェクト このパッケージは、すべての標準的なBDD操作、並べ替え、および豊富なドキュメントを備えた完全な吹き付けBDDパッケージからBDDへの簡単な紹介から進化しました。パッケージは非常に簡単です。 C / C ++プログラムの場合は、「BDD.H」と「BDD」とリンクしているだけで、稼働中です。 C ++インターフェースを使用すると、参照カウントとガベージコレクションについて考えなければならない。このリリースでは、このリリースでは新機能：・ビルドプロセスの設定スクリプトを使用してください。・例を実行し、期待される結果と比較するRunRegressionスクリプトを追加する。


BDD仲間 関連ソフトウェア

私たちに関しては