Efficient Symbolic Tools
您將能夠在 5 秒內下載。
關於 Efficient Symbolic Tools
高效符號工具組 (EST) 是基於 BDD 的工具,用於正式驗證併發系統。其優點是靈活性、便攜性和高效的記憶體管理。它在不同的作業系統下運行,包括 Linux 和 Windows 2000/XP。
相關軟體
-
OpenX Android Widget 免費
一個Android小部件,可用於Android應用程式,將由OpenX提供的廣告放入佈局中。
-
Send Sources 免費
這個軟體就像"發送到/命運"但你不需要有前景或Oe,它只是發送附件到一個位址或位址清單在只有一個clik;非常有用, 傳送到 / 從來源在工作或家庭, 或 foto 到你的家庭
-
textPlus Messenger+Group Text 免費
免費向世界各地的任何人發送消息和圖片!免費應用程式到應用程式* 消息在世界任何地方與文本加!對於 Android 手機和平板電腦。此外,文本到任何行動裝置上的任何 10 位美國或加拿大電話號碼免費,即使他們沒有應用程式。完全告別您的文本計劃,並且僅使用 textPlus 每年可節省高達 240 美元。textPlus 為您提供一個專用的電話號碼, 只是為了發短信 - 通過簡訊、電子郵件、Facebook 或 Twitter 與朋友分享
-
DC# 免費
DC# 是一個增強的直接連接用戶端,以 C# 編寫為 .NET 平臺。 計畫的功能包括改進的介面和搜索功能、空閒觸發的上傳突發、多源下載和自動搜尋備用內容。
-
AIS IM+ 免費
泰語描述AIS IM+ (聊天共用)MSN, Facebook, 推特, 谷歌談話, 雅虎, Myspace, ICQ, Jabber, AOL表情 , Facebook 在線 Facebook推特時間線, @Mention, 回復, 關注/取消關注者, 使用者配置檔, 關注者, 關注者搜索哈希標籤描述 英語AIS IM+ (聊天共用)是最好的一對一信使。您可以在 MSN、Facebook、Twitter、Google
-
MINDdroid 免費
控制樂高頭腦風暴機器人與你的 Android 手機。2010/11 樂高集團MINDroid 是一款 2.1+ Android 應用程式,用於即時直接操作遠端控制樂高 MINDSTORMS 機器人,利用兩種設備之間的直接 BlueTooth 無線連接 - Android 手機和您的 NXT 機器人以及大多數 Android 供電手持手機和設備上的內置加速度計和傾斜感測器。
-
Linux MSN Messenger Engine by Jonathan 免費
LMME(Linux MSN 信使引擎)是一個完全非同步、多線程的 MSN 協定引擎。如果你喜歡我的專案, 請通過PayPal [email protected]
-
Texty : Free SMS (via Way2SMS) 免費
#Please离开评级和电子邮件#We將很快添加更多閘道。Texty 是應用程式, 允許您使用您的線上方式 2sms 帳戶從您的 Android 發送免費簡訊。您可以向單個使用者發送簡訊,甚至可以發送群發簡訊。我們現在只支援方法2sms,我們期待著添加更多。廣告是在那裡保持這個程序永遠免費,並防止伺服器停機。只需輸入您的帳戶詳細資訊、接收方號碼和消息,您就能將消息發送給包括印度在內的 160 多個國家/ 地區的人。我們期待著添加資料庫和線程發送的
-
Panic Button 免費
「恐慌」按鈕在 Windows 系統匣中提供一個圖示。通過按一下此圖示,使用者可以向説明台或類似人員發送螢幕抓取和報告表單。這應該使用戶能夠更輕鬆地向支援人員提供有用的錯誤/問題報告。
-
.NET UseNet Downloader & Streamer 免費
.NET 使用網用戶端(ssl 支援)。最終應支援從伺服器緩衝的流式處理,並記錄顯示的媒體。