MCMAS-SC model checker

関連プログラム

• CHLone 無料

  CHLoneバンドルは、SIDS-hdF5のCGNS/SIDS準拠のマッピングアプリケーションであり、アプリケーション開発のための3つのレベルのインターフェースが含まれています。これらは：- C1 CGNS/MLL クローン、CGNS/MLL と同じ API- A2 アプリケーション API、SIDS の種類に基づくユーザー インターフェイス- L3 低レベルライブラリは、未加工のHDF5ノードを管理します

• FactotumNOW IAS Reporting 無料トライアル

  FactotumNOW IAS レポートは、VPN/IAS サーバーにインストールできるエンジンを介して IAS/RRAS (Microsoft VPN) ログ ファイルをインポートします。IAS (Microsoft ® インターネット認証サービス) の統計情報は、2 分ごとに自動的に更新されます。レポートは快適なコンソールで表示でき、Microsoft Excel にエクスポートできます (インストールされている場合)。レポート ビューアーは

• Flash-Creator 無料トライアル

  Flash Creator は、アニメーション Flash ロゴ、バナー、イントロ、ヘッダーなど、すぐに想像できる何かを作成するための、素早く、さわやかに使いやすいツールです。クリエイティブな機能や Flash 技術の知識に関係なく、誰でも、テキスト、ベクターオブジェクト、画像を魅力的な Flash アニメーションにブレンドして、Web サイトにプロフェッショナルな外観を与えることができるポイント&クリック設計環境を提供します。Flash クリエ

• SAW (Small Artificial World) 無料

  SAW(小さな人工世界)は自然進化のシミュレーションです。世界は生存の戦いのために互いに相互作用することができる多数の人工的な存在によって移入される。遺伝的アルゴリズムとニューラルネットワークが使用されます。生物学はインスピレーションです。

• evids video intrusion detection system 無料

  Evids はビデオ侵入検知クライアント/サーバーシステムです。自動化された監視ソフトウェアは、着信ビデオのフルタイムの監視を提供します信号。さらに、Evidsは、多くの人で実行されている無料のオープンソースプロジェクトですプレートフォーム。

• Accessibility plugins for Liferay 無料

  このプロジェットの目的は、Liferay ポータルでのアクセシビリティエクスペリエンスを向上させるために、一連の拡張機能 (プラグイン) を提供することです。

• SynchroJet 無料トライアル

  SynchroJetは、ローカルソース、LAN、FTP /SSLで動作する使いやすいバックアップおよび同期ユーティリティです。SynchroJetを使用すると、簡単にサーバー、デスクトップ、ラップトップ、LAN、FTPなどの間で同期されたすべての重要なファイルを維持することができます。SynchroJet同期は重要なデータをバックアップするための優れた安全対策であり、サーバーに問題が発生した場合でもローカルで作業を続けるオプションをユーザーに提供

• ControlK 無料

  これはJEditのための非常に簡単なプラグインです。Eclipse Control-K 機能、つまり選択したテキストの次の出現箇所を見つける機能が追加されます。

• emulare 無料

  エミュラレはアルドゥイノエミュレータです。それはあなたがエミュレーションでarduinoプログラムを実行することができます。それはArduino Duemilanove上のすべてのデバイスのための完全なサポートを持っています。デバッグ用の GDB インターフェイスがあります。それはテストを助けるために完全なグラフィカルインターフェイスを持っています。

• Music Shuffling 無料

  ユーザーがipodや他のデバイスで自分の音楽をシャッフルすることを可能にする.net 3.5アプリケーション。ランダムなファイルを選択し、ファイルごとにシャッフルする完全な機能。