Analyzer Component Framework 0.1
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/acf/files/acf/0.1/ACF-0.1.tar.gz/download
关于 Analyzer Component Framework
ACF 是 编写模型检查器。 ACF是建立在基本观察之上的,即大多数 模型检查算法独立于用于描述的形式主义 系统。
相关软件
-
LEP 免费
文字 Eclipse 编程帮助开发人员编写结构化的、记录良好的源代码。LEP 将源代码和文档的自动提取集成到熟悉的日食环境中。完全支持编译和调试。
-
BakerBots 免费
这是贝克学院, 实习生开发的应用程序运行机器人作为头像在第二人生, OpenSim 等。它依赖于程序# 的 AIML 处理和 libOpenMetaverse 的 SL 浏览器功能。
-
Survival Medicine Guide 免费试用
"需要免费的 Adobe 阅读器"***这是一个生存医学指南,以防我们都害怕真的发生。这是一个伟大的恭维任何良好的生存手册。当您需要时,此信息可能不可用。现在就拿,准备好。这个生存医疗指南是必须的!!这本书超过200页,需要一分钟加载一旦安装。该书采用PDF格式,需要免费的Adobe阅读器。现在可搜索和照片!!这个程序留在您的手机或设备,不需要互联网接入。我们仅使用 Google 添加信息,不收集除 Goog
-
Universal Maths Conversion Library 免费
UMCL 库向应用程序开发人员提供单个 API,需要在不同数学格式之间进行转换,尤其是盲文特定符号。
-
Bhagavad Gita(YaBG) 免费
YaBG - 还有另一个"巴加瓦德吉塔"应用程序。这个程序可以让你通读整个巴加瓦德吉塔没有任何中断;没有广告,没有痛苦的弹出窗口;完全自由,没有侵入性。我创建了这个程序,这样我就可以阅读"bhagavad gita"使用我的Android手机;希望它看起来很漂亮, 易于阅读与现代 UI 。记住我所有的要求,这个程序被开发为重量轻和最小。现在,它伴随着由伊斯克康的创始人斯里·普拉布帕达完成的翻译工作。(它免费提供 @ vedab
-
PONS German PREMIUM 免费试用
PONS 词典德语作为外语高级版包含 77,000 个关键字、短语和构造,以及 125,000 多个定义和示例,是 PONS 最全面的标准参考工具。你在学德语,需要一本合适的字典吗?你处理不同学科领域的词汇,如技术,运动或医学?您有时对表达和拼写有疑问吗?你想增加你的词汇量吗?PONS 词典德语作为外语高级版为高级德语学习者开发的 ,确保快速可靠的结果。谁可以特别受益于这个程序?德语高级学习者和德语教师作为外语的内容: * 大约 77,000 个
-
jQuantum 免费
jQuantum 是一个 Java 程序,用于模拟量子计算机、设计量子电路以及可视化量子算法的执行。然而,另一个主要目的是在你的头脑中创造图像,从而——理解。
-
FlameBitmaps 免费
计算 2D-灰度位图 使用不同的图像处理算法将 3D 旋转体从检测到的区域计算。专为德国航空航天中心 (DLR) 开发。已用项目:物质 (GUI)
-
fropho 免费
泡沫计算晶体中的假子,它基于帕林斯基-李-川佐法。当原子被移位时,对原子作用的力的信息需要作为输入信息。泡沫将被一个phonopy.sourceforge.net。
-
FSMPP - Finite State Machines in C++ 免费
FSMPP 是一个库,为在一个系统内构建有限状态机提供了简单、精简和直观C++。