ruby-bdd.

Ruby-BDDはRubyのBDDバインディングです。
今すぐダウンロード

ruby-bdd. ランキングとまとめ

広告

  • Rating:
  • ライセンス:
  • GPL
  • 価格:
  • FREE
  • 出版社名:
  • Alexandre David
  • 出版社のWebサイト:
  • http://www.cs.aau.dk/adavid/tiga/

ruby-bdd. タグ


ruby-bdd. 説明

Ruby-BDDはRuby用のBDDバインディングです。 ruby-bddはruby.bdds のBDDバインディングです（またはより正確にはROBDDS）はブール式を表すための効率的なデータ構造です。それらは正式な検証、特にシンボリックモデル検査で広く使用されています。シンボリックモデル検査の考え方は、式としての状態遷移関係のセットを表すことです（そして到達可能性分析のためのすべての到達可能状態のセットの固定点を計算するため）.buddyは、両方ともAPIでCで書かれたBDDライブラリです。 CとC ++。簡単なインターフェースで開発者にやさしいです。それはすべての標準的なBDD操作、変速順序付け、印刷、自動化されたガベージコレクションをサポートしており、UNIXおよびWindows Platforms.Rubyでコンパイル可能です。使用する。特に、素早いプロトタイピングや教育の目的に最適です。 Ruby-BDDは、BDDクラスを提供するBUDDEに基づくRubyのバインディングです。このリリースでは、このリリースでは新機能があります。ルビースタイルAPIを通して。


ruby-bdd. 関連ソフトウェア

私たちに関しては