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 协议引擎。如果你喜欢我的项目, 请通过贝宝捐赠给[email protected]
-
Texty : Free SMS (via Way2SMS) 免费
#Please离开评级和电子邮件#We将很快添加更多网关。Texty 是一个应用程序, 允许您使用您的在线方式 2sms 帐户从您的 Android 发送免费短信。您可以向单个用户发送短信,甚至可以发送群发短信。我们现在只支持方法2sms,我们期待着添加更多。广告是在那里保持这个程序永远免费,并防止服务器停机。只需输入您的帐户详细信息、接收方号码和消息,您就能将消息发送给包括印度在内的 160 多个国家/地区的人。我们期待着添加数据库和线程发送的
-
Panic Button 免费
"恐慌"按钮在 Windows 系统托盘中提供一个图标。通过单击此图标,用户可以向帮助台或类似人员发送屏幕抓取和报告表单。这应该使用户能够更轻松地向支持人员提供有用的错误/问题报告。
-
.NET UseNet Downloader & Streamer 免费
.NET 使用网客户端(ssl 支持)。最终应支持从服务器缓冲的流式处理,并记录显示的媒体。