線形決定図

決定図を提供するためのライブラリ。
今すぐダウンロード

線形決定図 ランキングとまとめ

広告

  • Rating:
  • ライセンス:
  • Freeware
  • 出版社名:
  • Arie Gurfinkel
  • ファイルサイズ:
  • 1.1 MB

線形決定図 タグ


線形決定図 説明

LDDは、線形演算（LA）とそのフラグメントの式を表すためのデータ構造です。 多くのプログラム分析とソフトウェアモデル検査技術（例えば、述語抽象化）の中核にあるタスクに効率的になるように設計されています。 そのような作業には、LA式からの数値変数のブール操作と存在定量化が含まれます。 LDDは、Full LAへの差異判定図（DDD）の拡張として見ることができ、最先端のCUDDパッケージの上に実装されています。 下には、LDD関連の文書とソフトウェアリリースへのリンクがあります。


線形決定図 関連ソフトウェア

私たちに関しては