Efficient Symbolic Tools
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://est.cvs.sourceforge.net/est
に関しては Efficient Symbolic Tools
効率的なシンボリックツールパッケージ(EST)は、同時システムの正式な検証のためのBDDベースのツールです。その利点は、柔軟性、移植性、効率的なメモリ管理です。これは、Linux と Windows 2000/XP を含む、異なる OS で実行されます。
関連プログラム
-
OpenX Android Widget 無料
レイアウトにOpenXによって提供される広告を配置するためにAndroidアプリケーションで使用することができるAndroidウィジェット。
-
Send Sources 無料
このソフトウェアは"send to/destinataire"のようなものですが、見通しやOeを持っている必要はありません。仕事や家庭でソースとの間で送信するために非常に役に立つ、またはあなたのファミリーにフォト
-
textPlus Messenger+Group Text 無料
無料で世界中の誰にでもメッセージや写真を送ります!無料アプリは、テキストプラスで世界中のどこでもメッセージングAPP*に!アンドロイド携帯電話やタブレット用。また、任意のモバイルデバイス上の任意の10桁の米国またはカナダの電話番号に無料でテキストを持っていない場合でも、アプリを持っていない場合でも。テキストプランにさよならを言い、textPlusを独占的に使用して年間240ドルも節約できます。textPlusは、テキストメッセージ専用
-
DC# 無料
DC# は、.NET プラットフォーム用の C# で記述された拡張された DirectConnect クライアントです。 計画された機能には、インターフェースと検索機能の向上、アイドル状態でトリガーされるアップロードバースト、マルチソースダウンロード、代替検索の自動検索などがあります。
-
AIS IM+ 無料
タイ語で説明AIS IM+ (チャット共有)MSN, フェイスブック, ツイッター, グーグルトーク, ヤフー, マイスペース, ICQ, ジャバー, AOL絵文字 , フェイスブックオンラインフェイスブックTwitter タイムライン, @Mention, 返信, フォロー/アンフォロワー, ユーザープロフィール, フォロー, フォロワー検索ハッシュタグ説明 英語AIS IM+ (チャット共有)最高のオールインワンメ
-
MINDdroid 無料
あなたのAndroid携帯電話でレゴマインドストームロボットを制御します。2010/11 レゴ・グループMINDdroidは、両方のデバイス間の直接BlueToothワイヤレス接続を利用するレゴマインドストームロボットのリアルタイム直接アクションリモートコントロールのための2.1+Androidアプリケーションです - Android携帯電話とNXTロボットと内蔵の加速度計とチルトセンサーは、ほとんどのAndroid搭載ハンドヘルド携帯電話や
-
Linux MSN Messenger Engine by Jonathan 無料
LMME (Linux MSN メッセンジャー エンジン) は、完全に非同期のマルチスレッドの MSN プロトコル エンジンです。あなたが私のプロジェクトが好きなら、PayPalを介して私に寄付してください[email protected]
-
Texty : Free SMS (via Way2SMS) 無料
評価と電子メールを残#Please.#Weはすぐにゲートウェイを追加します。Textyは、あなたのオンラインway2smsアカウントを使用して、あなたのアンドロイドから無料のSMSを送信することを可能にするアプリケーションです。1 人のユーザーに SMS を送信したり、グループ SMS を送信したりすることもできます。私たちは今、唯一の方法2smsをサポートし、我々はより多くを追加することを楽しみにしています。広告は永遠に無料でこのアプリを維持し
-
Panic Button 無料
パニックボタンは、Windowsシステムトレイにアイコンを提供します。このアイコンをクリックすると、ユーザーはスクリーングラブとレポートフォームをヘルプデスクまたは類似のフォームに送信できます。これにより、ユーザーがサポート スタッフに役立つエラー/問題レポートを簡単に提供できるようになります。
-
.NET UseNet Downloader & Streamer 無料
.NET の使用ネット クライアント (ssl サポート)。最終的には、サーバーからバッファリングされたストリーミングと、見たメディアのログ記録をサポートする必要があります。